AUTO2

MaRDI QIDQ29452swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-43144-4_27

Described by source

• AUTO2, a saturation-based heuristic prover for higher-order logic

Cited in

(9)

• Efficient verification of imperative programs using auto2
• CSimpl
• IsarMathLib
• Separation Logic
• Landau Symbols
• Median-of-Medians
• Auto2_Imperative_HOL
• Verifying asymptotic time complexity of imperative programs in Isabelle
• Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22--25, 2016. Proceedings

This page was built for software: AUTO2