Browse by author
Lookup NU author(s): Dr Leo Freitas, Emeritus Professor Cliff JonesORCiD, Dr Andrius Velykis, Dr Iain Whiteside
In the AI4FM project we have set ourselves the challenge of building a system that can learn high-level proof strategies by monitoring expert users. A typical level of ambition is users who are proving the feasibility and reification of medium-sized specifications. The purpose of this report is to provide a source document. In particular, it (a) summarises some experiments in the use of verification tools to determine how realistic the ambition is of extracting the "why" from experts' use of verification tools; and,(b) provides a revision of an earlier description of an abstract model of an AI4FM system that is linked to the case studies.
Author(s): Jones CB; Freitas L; Velykis A; Whiteside I
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2013
Pages: 216
Print publication date: 01/10/2013
Source Publication Date: October 2013
Report Number: 1398
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1398.pdf
