AI4FM: using AI to aid automation of proof search in Formal Methods
Lead Research Organisation:
University of Edinburgh
Department Name: Sch of Informatics
Abstract
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
Organisations
Publications
Bundy A
(2011)
Productive use of failure in top-down formal methods
Freitas L
(2013)
Formalizing workflows partitioning over federated clouds: multi-level security and costs
in International Journal of Computer Mathematics
Grov G
(2017)
The Tinker tool for graphical tactic development
in International Journal on Software Tools for Technology Transfer
Grov G
(2011)
Hume box calculus: robust system development through software transformation
in Higher-Order and Symbolic Computation
Grov G
(2014)
Tinker, tailor, solver, proof
in Electronic Proceedings in Theoretical Computer Science
Grov, G
(2010)
A small experiment in Event-B rippling
in Proceedings of AVoCS 2010 and Rodin User and Developer Workshop 2010
Ireland A
(2013)
Reasoned modelling critics: Turning failed proofs into modelling guidance
in Science of Computer Programming
| Description | Please see the details on the grant EP/H024050/1 - this is the grant owned by the lead site at Newcastle. |
| Exploitation Route | Please see the details on the grant EP/H024050/1 - this is the grant owned by the lead site at Newcastle. |
| Sectors | Other |
| Description | Please see the details on the grant EP/H024050/1 - this is the grant owned by the lead site at Newcastle. |