A Counterexample-Guided Refinement Tool for Open Procedural Programs

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/11691617_17 ◽

2006 ◽

pp. 288-292 ◽

Cited By ~ 6

Author(s):

Aleksandar Dimovski ◽

Dan R. Ghica ◽

Ranko Lazić

Download Full-text