Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs /

• Main Author: Herdt, Vladimir (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.
• Edition: 1st ed. 2016.
• Series: BestMasters
• Subjects: Computer science.; Computer hardware.; Software engineering.; Computer science > Mathematics.; Computer Science.; Computer Hardware.; Software Engineering/Programming and Operating Systems.; Mathematics of Computing.

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

Table of Contents:

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