AUTO2

swMATH17595MaRDI QIDQ29452FDOQ29452

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• Efficient verification of imperative programs using auto2
• 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