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
Nyckelord: Computer Science, Computer Hardware, Software Engineering/Programming and Operating Systems, Mathematics of Computing
- Författare
- Herdt, Vladimir
- Utgivare
- Springer
- Utgivningsår
- 2016
- Språk
- en
- Utgåva
- 1st ed. 2016
- Serie
- BestMasters
- Kategori
- Datateknik, Datakommunikation
- Format
- E-bok
- eISBN (PDF)
- 9783658126803
- Tryckt ISBN
- 978-3-658-12679-7
