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

• Κύριος συγγραφέας: Herdt, Vladimir (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016.
• Έκδοση: 1st ed. 2016.
• Σειρά: BestMasters
• Θέματα: 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 (...

Πίνακας περιεχομένων:

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