Certifying Safety and Termination Proofs for Integer Transition Systems.

Marc Brockschmidt, Sebastiaan J. C. Joosten, Ren Thiemann, Akihisa Yamada

Browse the full CADE paper archive.