Lamia Eljadiri, Ismail Assayad, Abdelouahed Zakari. Generic Verification of Safety Properties For SystemC Programs Using Incomplete Interactions. In Faissal El Bouanani, Ahmed Habbani, editors, Proceedings of the 2nd International Conference on Smart Digital Environment, ICSDE 2018, Rabat, Morocco, October 18-20, 2018. pages 166-171, ACM, 2018. [doi]
Abstract is missing.