Verifying SystemC with predicate abstraction: A component based approach

Nesrine Harrath 1 Bruno Monsuez 2 Kamel Barkaoui 1
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
2 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes
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 : Monday, February 24, 2020 - 1:37:17 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

13

Contact

Informations

CCSD