PUMA
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.
 
 
Abstract
(English)
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