Validation of formal specifications - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 1999

Validation of formal specifications

Dominique Méry
MODEL (Méthodes formelles et applications)
CV
Yassine Mokhtari
  • Fonction : Auteur
  • PersonId : 835299
MODEL (Méthodes formelles et applications)

Résumé

TLA, (the Temporal Logic of Actions) is a linear temporal logic for specifying and reasoning about reactive systems. The purpose of this paper is to develop an animator and a model checker, both based on a subset of TLA, and illustrates how we can combine these tools to validate TLA specifications.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
99-R-280.pdf (79.63 Ko) Télécharger le fichier

Publications Loria  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 19 octobre 2006-15:58:15

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

Archivage à long terme le : mercredi 29 mars 2017-13:29:59

Télécharger pour visualiser

Dates et versions

inria-00108115 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00108115 , version 1

Citer

Dominique Méry, Yassine Mokhtari. Validation of formal specifications. AAAI'99, Fall Symposium, Nov 1999, none, 5 p. ⟨inria-00108115⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA
85 Consultations
86 Téléchargements

Partager

More