Race analysis for systemc using model checking.

Nicolas Blanc Daniel Kroening

Published in: ACM Trans. Design Autom. Electr. Syst. (2010)

Keyphrases

model checking
temporal logic
abstract interpretation
finite state
automated verification
static analysis
formal verification
dynamic analysis
symbolic model checking
finite state machines
formal specification
formal methods
pspace complete
transition systems
bounded model checking