Login

Herdt, Vladimir

Complete Symbolic Simulation of SystemC Models

Herdt, Vladimir - Complete Symbolic Simulation of SystemC Models, ebook

87,65€

Ebook, PDF with Adobe DRM
ISBN: 9783658126803
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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)
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

Similar titles