Auto2 Prover

MaRDI QIDQ7361272FDO

Authors Bohua Zhan

Publication date 20 November 2018

Cites work

• AUTO2, a saturation-based heuristic prover for higher-order logic
• Efficient verification of imperative programs using auto2
• Imperative Functional Programming with Isabelle/HOL
• Seventy-five problems for testing automatic theorem provers

Cited in

(1)

• Verifying Imperative Programs using Auto2

This page was built for software: Auto2 Prover