Output details
11 - Computer Science and Informatics
Newcastle University
Return to search
Output 0 of 0 in the submission
Chapter title
Ours is to reason why
Type
C - Chapter in book
Publisher of book
Springer Verlag
Book title
Theories of Programming and Formal Methods
ISBN of book
9783642396977
Year of publication
2013
Number of additional authors
2
Additional information
<10> The novelty of the four year EPSRC, “AI4FM” project (with Bundy Edinburgh) is to use learning to extract high-level strategies from interactive proofs by experts; such strategies can be replayed to discharge automatically other proofs in the same “family”. This paper is the first solid proposal for an architecture that will realize the ambitious goals. We now have an experimental implementation and are evaluating it with an interactive interface to Isabelle. The project has industrial case studies from Bosch, Siemens, SAP and has organised two open workshops with industrial participants (Rennes 2013; third planned for Singapore 2014).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Dependability
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
