Complete Symbolic Simulation of SystemC Models
Subtitle: Efficient Formal Verification of Finite Non-Terminating Programs
Publisher: Springer Vieweg
Published: Mar 17, 2016
Format: paperback
Number of pages: 184
ISBN-13: 9783658126797
Notes: Source title: Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)