2003
Other
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.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:160085,
title = {D1.1 - Trends in Verification and Validation: Model Checking.},
author = {Massink M},
year = {2003}
}CNR authorsLaboratories
0000-0001-5089-002X