Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Gnesi S., Laneve C. Comparing formal specifications using temporal logics : a case study on lotos and estelle protocol descriptions. Internal note IEI-B4-45, 1987.
Temporal logic makes it possible to formally describe systems at a higher abstraction level with respect to formal description techniques based on the specification of possible system behaviour. We thus propose the use of temporal logic in a method for comparing formal descriptions written in LOTOS and Estelle in order to guarantee that they are compatible, i.e. that they cannot be used to generate incompatible implementations.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional