AI4FM

Using AI to aid automation of proof search in Formal Methods

Isabelle's development of the Heap by Iain Whiteside (using Isabelle/Isar). Each version is as described in the main technical report.

Go back to the top-level Heap page.