AUTO2

swMATH17595MaRDI QIDQ29452FDOQ29452

Author name not available (Why is that?)

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