Andere Kunden interessierten sich auch für
![Approche formelle pour la vérification des IDS]( "Approche formelle pour la vérification des IDS")
Approche formelle pour la vérification des IDS40,99 €![Vérification de faits par partitionnement de données]( "Vérification de faits par partitionnement de données")
Vérification de faits par partitionnement de données26,99 €![Génération des opérateurs ETL à base de transformation de modèles]( "Génération des opérateurs ETL à base de transformation de modèles")
Génération des opérateurs ETL à base de transformation de modèles32,99 €![Résumé automatique de textes arabes basé sur une approche symbolique]( "Résumé automatique de textes arabes basé sur une approche symbolique")
Résumé automatique de textes arabes basé sur une approche symbolique25,99 €![Les automates temporisés comme outil de vérification des protocoles de sécurité]( "Les automates temporisés comme outil de vérification des protocoles de sécurité")
Les automates temporisés comme outil de vérification des protocoles de sécurité32,99 €![Facilitation des Processus Décisionnels Collectifs: Modèles et Outils]( "Facilitation des Processus Décisionnels Collectifs: Modèles et Outils")
Facilitation des Processus Décisionnels Collectifs: Modèles et Outils46,99 €![Exploration sémantique des modèles socio-environnementaux]( "Exploration sémantique des modèles socio-environnementaux")
Exploration sémantique des modèles socio-environnementaux36,99 €
Cette thèse propose un nouveau type de systèmes de ré-écriture, appelé les systèmes de ré-écriture fonctionnels. Nous montrons que notre modèle a la puissance d'expression des systèmes de ré-écriture et qu'il est bien adapté à l'étude de propriétés de sûreté et de propriétés de logique temporelle de modèles. Nous avons mis en évidence une sous classe de systèmes fonctionnels, les élémentaires et les élémentaires à droite, préservant la puissance d'expression des systèmes fonctionnels et des techniques d'accélération des calculs aboutissant à un outil de vérification symbolique efficace. Dans la partie expérimentale, nous avons comparé notre outil, d'une part avec des outils de ré-écriture tels que Timbuk, Maude et TOM, d'autre part avec des outils de vérification tels que SPIN, NuSMV, SMART, HSDD. Nos résultats démontrent l'efficacité des systèmes fonctionnels élémentaires pour la vérification de modèles.