PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Massink M. Trends in verification and validation. Appendix G of Deliverable D1.1 of EU Proj. IST-2001-37553 (AMSD) 'A Dependability Roadmap for the Information Society in Europe. Part 3. Project report D1.1 - IST-2001-37553, 2003.
 
 
Abstract
(English)
In this chapter we highlight some of the more exciting recent advances and challenges in the development of model-checking technology.
Subject Formal Verification
D.2.4 Software/Program Verification


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