2003
Report
Open Access
D1.1 - Trends in Verification and Validation: Model Checking.
Massink. M.
Formal Verification
In this chapter we highlight some of the more exciting recent advances and challenges in the development of model-checking technology.
Source: Project report, AMSD, Deliverable D1.1, 2003
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:160085,
title = {D1.1 - Trends in Verification and Validation: Model Checking.},
author = {Massink. M.},
institution = {Project report, AMSD, Deliverable D1.1, 2003},
year = {2003}
}CNR authorsLaboratories
0000-0001-5089-002X