Vol-1129⫷ Vol-1130 ⫸Vol-1131
urn:nbn:de:0074-1130-0


None⫷None
Sonali DuttaMoshe Y. VardiDeian Tabakov

CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models