AI4FM

Using AI to aid automation of proof search in Formal Methods

Heap problem