Verifying Reactive Systems Using Predicate Diagrams

Dominique Cansell; Dominique Méry; Stephan Merz

Verifying Reactive Systems Using Predicate Diagrams

Dominique Cansell ¹ Dominique Méry ¹ Stephan Merz

1 MODEL - MODEL (Méthodes formelles et applications)

LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications

Résumé : je l'envoi

keyword : diagrammes de prédicats predicate diagrams model-checking

Type de document :

Communication dans un congrès

Wolfgang Reif & Gerhard Schellhorn. FM-TOOLS'2000, 2000, Ulm, 5 p, 2000

Domaine :

Informatique [cs] / Autre [cs.OH]

Liste complète des métadonnées

https://hal.inria.fr/inria-00099261
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:13
Dernière modification le : jeudi 11 janvier 2018 - 06:21:04

Verifying Reactive Systems Using Predicate Diagrams

Identifiants

Collections

Citation

Exporter

Métriques

77

Contact

Verifying Reactive Systems Using Predicate Diagrams

Identifiants

Collections

Citation

Exporter

Partager

Métriques

77

Contact