Formal Verification of SystemC Designs using the BLAST Software Model Checker

Paula Herber, Bettina Hünnemeyer. Formal Verification of SystemC Designs using the BLAST Software Model Checker. In Florian Noyrit, Susanne Graf, Iulia Dragomir, editors, Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014. Volume 1250 of CEUR Workshop Proceedings, pages 44-53, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.