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 (...

Descripción completa

Detalles Bibliográficos
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:
Computers.
Software engineering.
Computer science > Mathematics.
Computer Hardware.
Software Engineering.
Mathematics of Computing.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Verification of Systems
  • Introduction to Formal Verification of SystemC Models
  • Symbolic Model Checking with Partial Order Reduction
  • Efficient Symbolic State Matching using State Subsumption
  • Heuristic Approaches for Symbolic State Matching
  • Evaluation of Proposed Techniques.

Ejemplares similares