Proof-Pattern Recognition and Lemma Discovery in ACL2

J. Heras, E. Komendantskaya, M. Johansson, E. Maclean

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Finished
A14FM : using A1 to aid automation of proof search in formal methods
Bundy, A., Bundy, A., Grov, G., Ireland, A. & Jones, C. B.
EPSRC
1/04/10 → 31/03/14
Project: Research