Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S. Model checking of embedded systems. In: Ercim News, vol. 52 pp. 37 - 38. Ercim EEIG, 2003.
The integration of different dependability techniques is an open research question. We address problems that arise when attempting to combine fault tolerance mechanisms with formal methods and formal verification tools in the development of an embedded system.
URL: http://www.ercim.org/publication/Ercim_News/enw52/gnesi.html
Subject Model Checking
Embedded Systems
D.2.4 Software/Program Verification. Model Checking

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