Verifying Reactive Systems Using Predicate Diagrams

Dominique Cansell; Dominique Méry; Stephan Merz

Communication Dans Un Congrès Année : 2000

Verifying Reactive Systems Using Predicate Diagrams

(1) , (1) ,

Dominique Cansell

Fonction : Auteur
PersonId : 830170

MODEL (Méthodes formelles et applications)

Dominique Méry

Fonction : Auteur
PersonId : 1227
IdHAL : dominiquemery
ORCID : 0000-0001-5231-6611
IdRef : 076035085

MODEL (Méthodes formelles et applications)

Stephan Merz

Fonction : Auteur
PersonId : 15889
IdHAL : stephan-merz
ORCID : 0000-0003-0974-1844
IdRef : 120558513

Résumé

je l'envoi

Mots clés

predicate diagrams model-checking diagrammes de prédicats

Domaines

Autre [cs.OH]

Publications Loria : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00099261

Soumis le : mardi 26 septembre 2006-08:52:13

Dernière modification le : vendredi 24 mars 2023-14:52:48

Dates et versions

inria-00099261 , version 1 (26-09-2006)

Identifiants

HAL Id : inria-00099261 , version 1

Citer

Dominique Cansell, Dominique Méry, Stephan Merz. Verifying Reactive Systems Using Predicate Diagrams. FM-TOOLS'2000, Wolfgang Reif & Gerhard Schellhorn, 2000, Ulm, 5 p. ⟨inria-00099261⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA

69 Consultations

0 Téléchargements

Verifying Reactive Systems Using Predicate Diagrams

Résumé

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager