The AI4FM approach for proof automation within formal methods

Gudmund Grov, Alan Bundy, Cliff B. Jones, Andrew Ireland

School of Informatics

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

Original language	English
Title of host publication	UKCRC Grand Challenges in Computing Research (GCCR‘10)
Number of pages	2
Publication status	Published - 2010

Access to Document

6 gccr10Submitted manuscript, 91 KB

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
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
EPSRC
1/04/07 → 31/03/11
Project: Research

Cite this