Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs / Vladimir Herdt ; with a preface by Prof. Dr. Rolf Drechsler.
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 (...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Wiesbaden :
Springer Vieweg,
2016.
|
| Series: | BestMasters.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.9.F67
|
|---|---|
| QA76.9.F67 | Available |