Login / Signup
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