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.
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
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