Complete Symbolic Simulation of SystemC Models
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Fachmedien Wiesbaden

9783658126797, 9783658126803

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

State Subsumption Reduction

Complete Symbolic Simulation of SystemC Models ◽

10.1007/978-3-658-12680-3_5 ◽

2016 ◽

pp. 53-68

Author(s):

Vladimir Herdt

Download Full-text

Dynamic Partial Order Reduction in Stateful Model Checking

Complete Symbolic Simulation of SystemC Models ◽

10.1007/978-3-658-12680-3_4 ◽

2016 ◽

pp. 41-51

Author(s):

Vladimir Herdt

Keyword(s):

Model Checking ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Static Partial Order Reduction in Stateful Model Checking

Complete Symbolic Simulation of SystemC Models ◽

10.1007/978-3-658-12680-3_3 ◽

2016 ◽

pp. 33-40

Author(s):

Vladimir Herdt

Keyword(s):

Model Checking ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Heuristic Symbolic Subsumption

Complete Symbolic Simulation of SystemC Models ◽

10.1007/978-3-658-12680-3_6 ◽

2016 ◽

pp. 69-95

Author(s):

Vladimir Herdt

Download Full-text

Preliminaries

Complete Symbolic Simulation of SystemC Models ◽

10.1007/978-3-658-12680-3_2 ◽

2016 ◽

pp. 7-32

Author(s):

Vladimir Herdt

Download Full-text

Introduction

Complete Symbolic Simulation of SystemC Models ◽

10.1007/978-3-658-12680-3_1 ◽

2016 ◽

pp. 1-6 ◽

Author(s):

Vladimir Herdt

Download Full-text

Experiments

Complete Symbolic Simulation of SystemC Models ◽

10.1007/978-3-658-12680-3_7 ◽

2016 ◽

pp. 97-115

Author(s):

Vladimir Herdt

Download Full-text