Abstraction-Driven Verification of Array Programs

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_23 ◽

2004 ◽

pp. 271-275 ◽

Cited By ~ 2

Author(s):

David Déharbe ◽

Abdessamad Imine ◽

Silvio Ranise

Download Full-text