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