PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bernardeschi C., Fantechi A., Gnesi S., Mazzanti F., Santone A. Formal verification of fault tolerant mechanisms by model-checking. FORTE/PSTV'98 Conference. Tool demonstrations proceedings (Parigi, 1998). Document n. IEI-B5-08, 1998.
 
 
Abstract
(English)
No abstract available
Subject Model checking
D.2.4 Software/Program Verification


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