Handling loops in bounded model checking of C programs viak-induction
Gadelha, Mikhail Y. R., Ismail, Hussama I., Cordeiro, Lucas C.Volume:
19
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-015-0407-9
Date:
February, 2017
File:
PDF, 1.52 MB
english, 2017