PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ferro G. AMC : ACTL model checker reference manual. Internal note IEI-B4-47, 1994.
 
 
Abstract
(English)
AMC Ŕ uno strumento che permette di verificare la validitÓ di formule di logica temporale espresse nella logica ACTL [DV 90, DFGR 92] su sistemi di transizioni etichettati (LTSs), che modellano sistemi concorrenti. AMC legge file in formato Fc2 [MS 93] che rappresentano sistemi di transizioni etichettati. AMC Ú un interprete interattivo testuale di comandi scritto in C, e possiede una interfaccia grafica separata [BGL 94]. AMC Ú stato integrato con altri strumenti nell'ambiente JACK [BGL 94]. AMC Ú ispirato al model checker EMC per la logica temporale CTL [CES 86].
Subject Logic
F.4.1 Mathematical Logic


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