Logika: The Sireum Verification Framework.

Robby, John Hatcliff, Jason Belt

Browse the full FMICS paper archive.