Login / Signup
Race analysis for SystemC using model checking.
Nicolas Blanc
Daniel Kroening
Published in:
ICCAD (2008)
Keyphrases
</>
model checking
temporal logic
abstract interpretation
temporal properties
dynamic analysis
model checker
multi agent
finite state
epistemic logic
timed automata
termination analysis
partial order reduction
pspace complete
verification method
bounded model checking