Sign in
Cascading verification: an integrated method for domain-specific model checking.
Fokion Zervoudakis
David S. Rosenblum
Sebastian G. Elbaum
Anthony Finkelstein
Published in:
ESEC/SIGSOFT FSE (2013)
Keyphrases
</>
knowledge based systems
model checking
formal methods
verification method
domain specific
temporal logic
formal verification
model checker
general purpose
domain independent
game theory
computational complexity
asynchronous circuits
concurrent systems
automated verification