Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction - ENSTA Paris - École nationale supérieure de techniques avancées Paris Access content directly
Journal Articles IJCCBS Year : 2014

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

No file

Dates and versions

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

Identifiers

Cite

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⟩
23 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More