Process Rewrite Systems for Software Model Checking.

Published in: TASE (2013)

Keyphrases

model checking
temporal logic
formal verification
model checker
temporal properties
automated verification
formal specification
bounded model checking
software development
formal methods
software systems
heuristic search
development process
rewrite systems