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

Yoshitaka Aoki, Saeko Matsuura

Browse the full COMPSAC paper archive.