Login / Signup

JRF-E: using model checking to give advice on eliminating memory model-related bugs.

KyungHee KimTuba Yavuz-KahveciBeverly A. Sanders
Published in: ASE (2010)
Keyphrases
  • model checking
  • temporal properties
  • temporal logic
  • model checker
  • verification method
  • knowledge base
  • finite state machines
  • formal verification
  • search algorithm
  • concurrent systems