Validation of formal specifications

Dominique Méry 1 Yassine Mokhtari 1
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
AAAI'99, Fall Symposium, Nov 1999, none, 5 p, 1999
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00108115
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 15:58:15
Dernière modification le : mardi 24 avril 2018 - 13:36:34
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:29:59

Fichier

Identifiants

  • HAL Id : inria-00108115, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

144

Téléchargements de fichiers

74