Lattice-based SMT for program verification.

Karine Even-Mendoza, Antti E. J. Hyvrinen, Hana Chockler, Natasha Sharygina

Browse the full MEMOCODE paper archive.