Always and Eventually in Object Requirements
Abstract
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.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00098617
Submitted on : Monday, September 25, 2006-5:04:01 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM