Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm. Towards formal validation: Symbolic simulation of SystemC models. In 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2015, Napoli, Italy, April 21-23, 2015. pages 1-6, IEEE, 2015. [doi]
Abstract is missing.