2005
Report
Open Access
Formal verification of the MUD case study
Gnesi S., Mazzanti F.
Model Checking UMC Formal Verification F.3.1 Specifying and Verifying and Reasoning about Programs D.2.4 Software:Program Verification
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.
Source: ISTI Technical reports, 2005
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:160242,
title = {Formal verification of the MUD case study},
author = {Gnesi S. and Mazzanti F.},
institution = {ISTI Technical reports, 2005},
year = {2005}
}
0000-0002-0139-0421