Boolean and Cartesian Abstraction for Model Checking C Programs (2001)
by
Thomas Ball
,
Andreas Podelski
,
Sriram K. Rajamani
| Citations: | 130 - 12 self |
Document Versions
| Boolean and Cartesian Abstraction for Model Checking C Programs –Thomas Ball, Andreas Podelski, Sriram K. Rajamani — 2001 |
