Herdt, Vladimir
Complete Symbolic Simulation of SystemC Models
Table of contents
1. Introduction
Vladimir Herdt
2. Preliminaries
Vladimir Herdt
3. Static Partial Order Reduction in Stateful Model Checking
Vladimir Herdt
4. Dynamic Partial Order Reduction in Stateful Model Checking
Vladimir Herdt
5. State Subsumption Reduction
Vladimir Herdt
6. Heuristic Symbolic Subsumption
Vladimir Herdt
7. Experiments
Vladimir Herdt
Keywords: Computer Science, Computer Hardware, Software Engineering/Programming and Operating Systems, Mathematics of Computing
- Author(s)
- Herdt, Vladimir
- Publisher
- Springer
- Publication year
- 2016
- Language
- en
- Edition
- 1st ed. 2016
- Series
- BestMasters
- Category
- Information Technology, Telecommunications
- Format
- Ebook
- eISBN (PDF)
- 9783658126803
- Printed ISBN
- 978-3-658-12679-7
