Opening book details…
Can I read Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters) on EtoBox?
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters) by Vladimir Herdt (auth.) is a computer science book available to read on EtoBox.
What is Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters) about?
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 (cyclic) finite state spaces, by exhaustive exploration of all possible inputs and process schedulings. The state explosion problem is alleviated by integrating two complementary reduction techniques.
Who reads Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Vladimir Herdt (auth.)
- Publisher
- Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg
- Published
- 2016
- Language
- EN
- ISBN
- 9783658126797
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-25
More by Vladimir Herdt (auth.)
Browse all works by Vladimir Herdt (auth.)
Similar books
- Symbolic Simulation Methods for Industrial Formal Verification — Robert B. Jones (auth.) (2002)
- Scalable Hardware Verification with Symbolic Simulation — Valeria Bertacco (auth.) (2006)
- Hardware Design Verification : Simulation and Formal Method-based Approaches — William K. C Lam (2005)
- Polynomial Formal Verification of Approximate Functions (BestMasters) — Martha Schnieber (2023)
- 2020 IEEE 3rd International Conference on Electronics and Communication Engineering (ICECE) — Duan, Liying; Hu, Yi; Liu, Hao; Feng, Wennan; Gan, Jie (2020)
- Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science (1633)) — David L. Dill (auth.), Nicolas Halbwachs, Doron Peled (1999)