K. Rustan M. Leino and Francesco Logozzo
May 2007
This paper presents a new technique for combining the inference power of abstract interpretation with the precision and flexibility of an automatic satisfiability modulo theories theorem prover.
![]() PDF file |
In International Workshop on Invariant Generation
| Type | Inproceedings |
| Institution | RISC, Hagenberg, Austria |