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


None⫷None
Sonali DuttaDeian TabakovMoshe Y. Vardi

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