Skip to Main content Skip to Navigation
Conference papers

Verifying SystemC with predicate abstraction: A component based approach

Nesrine Harrath 1 Bruno Monsuez 1 Kamel Barkaoui 2
1 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes
2 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-02479617
Contributor : Kamel Barkaoui <>
Submitted on : Friday, February 14, 2020 - 3:43:48 PM
Last modification on : Wednesday, April 15, 2020 - 3:58:02 PM

Identifiers

Collections

TDS-MACS | ENSTA_U2IS | CEDRIC-CNAM | CNAM | UNIV-HESAM | ENSTA

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

56