Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction - Archive ouverte HAL Access content directly
Journal Articles IJCCBS Year : 2014

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

(1) , (2)
1
2
Not 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⟩
17 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More