Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /
In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-terminating) SystemC programs. The approach combines symbolic simulation with stateful model checking and allows to verify safety properties in (...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Herdt, Vladimir (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Wiesbaden :
Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg,
2016.
|
Edición: | 1st ed. 2016. |
Colección: | BestMasters,
|
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems /
por: Biedermann, Alexander
Publicado: (2014) -
System Architecture An Ordinary Engineering Discipline /
por: Paul, Wolfgang J., et al.
Publicado: (2016) -
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project /
Publicado: (2013) -
Virtual Machines
por: Craig, Iain D.
Publicado: (2006) -
Applications and Usability of Interactive TV Third Iberoamerican Conference, jAUTI 2014, and Third Workshop on Interactive Digital TV, Held as Part of Webmedia 2014, João Pessoa, PB, Brazil, November 18-21, 2014. Revised Selected Papers /
Publicado: (2015)