Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction - Archive ouverte HAL
Article Dans Une Revue IJCCBS Année : 2014

Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction

Domaines

Informatique et langage [cs.CL]

David Filliat  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01762691

Soumis le : mardi 10 avril 2018-13:19:57

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

Fichier non déposé

Dates et versions

hal-01762691 , version 1 (10-04-2018)

Identifiants

Citer

Nesrine Harrath, Bruno Monsuez. Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. IJCCBS, 2014, 5 (3/4), pp.268--299. ⟨10.1504/IJCCBS.2014.064666⟩. ⟨hal-01762691⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA CNAM ENSTA_U2IS CEDRIC-CNAM HESAM
33 Consultations
0 Téléchargements

Altmetric

Partager

More