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

Yoshitaka Aoki Saeko Matsuura

Published in: COMPSAC (2010)

Keyphrases

model checking
verification method
temporal logic
dynamic programming
artificial intelligence
modal logic
formal specification
epistemic logic