Login / Signup

A Method for Detecting Defects in Source Codes Using Model Checking Techniques.

Yoshitaka AokiSaeko Matsuura
Published in: COMPSAC (2010)
Keyphrases
  • model checking
  • verification method
  • temporal logic
  • dynamic programming
  • artificial intelligence
  • modal logic
  • formal specification
  • epistemic logic