Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui. Verifying SystemC with predicate abstraction: A component based approach.
2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), Aug 2013, San Francisco, France. pp.536-545,
⟨10.1109/IRI.2013.6642516⟩.
⟨hal-02479617⟩