Sonali Dutta, Moshe Y. Vardi, Deian Tabakov. CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. In Malay K. Ganai, Alper Sen 0001, editors, Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013. Volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]
Abstract is missing.