PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Mazzanti F. Formal Verification of the MUD case study. The document will be submitted to Conference: ACM/IEEE 8th International Conference on Model Driven Engineering, Technical report, 2005.
 
 
Abstract
(English)
In this paper we present the latest advances of the UMC verification environment and the results of its experimental application to the AGILE MUD case study.
Subject Model Checking
UMC
Formal Verification
F.3.1 Specifying and Verifying and Reasoning about Programs
D.2.4 Software/Program Verification
68Q60 Specification and verification (program logics, model checking,
03B70 Logic in computer science


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