Login / Signup
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