Analyzer Component Framework 0.1
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 3.7/5 - 3 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur Analyzer Component Framework
ACF est un cadre pour l’écriture de modèles-checkers. ACF s’appuie sur l’observation fondamentale que la structure de la plupart des algorithmes de vérification des modèles est indépendant du formalisme utilisé pour décrire le système.