Login / Signup

Model checking the Java metalocking algorithm.

Samik BasuScott A. Smolka
Published in: ACM Trans. Softw. Eng. Methodol. (2007)
Keyphrases
  • model checking
  • dynamic programming
  • optimal solution
  • temporal logic
  • verification method
  • deterministic finite automaton
  • search space
  • np hard
  • asynchronous circuits
  • incremental algorithms