Always and Eventually in Object Requirements
Résumé
La spécification de services en utilisant un modèle formel basé sur les objets. On fait un traduction vers TLA pour preuver les propriétés logiques.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Publications Loria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00098617
Soumis le : lundi 25 septembre 2006-17:04:01
Dernière modification le : vendredi 24 mars 2023-14:52:48