Bounded verification

[Google Scholar]

Notes: bounded model checking

todo:


Bounded model-checking