AI4FM

Using AI to aid automation of proof search in Formal Methods

Z/EVES development of the Heap. Each version is as described in the main technical report.

AI4FM proof process data is large (about 1GB) and is available upon request.

Go back to the top-level Heap page.