Verifying SystemC with predicate abstraction: A component based approach - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

Verifying SystemC with predicate abstraction: A component based approach

Nesrine Harrath
  • Fonction : Auteur
Unité d'Informatique et d'Ingénierie des Systèmes
Bruno Monsuez
  • Fonction : Auteur
  • PersonId : 971596
Unité d'Informatique et d'Ingénierie des Systèmes
Kamel Barkaoui
CEDRIC. Systèmes sûrs

Domaines

Informatique [cs] Modélisation et simulation

Kamel BARKAOUI  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02479617

Soumis le : vendredi 14 février 2020-15:43:48

Dernière modification le : lundi 5 août 2024-14:50:04

Fichier non déposé

Dates et versions

hal-02479617 , version 1 (14-02-2020)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA CNAM ENSTA_U2IS TDS-MACS CEDRIC-CNAM HESAM
42 Consultations
0 Téléchargements

Altmetric

Partager

More