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