📣 Help Shape the Future of UKRI's Gateway to Research (GtR)

We're improving UKRI's Gateway to Research and are seeking your input! If you would be interested in being interviewed about the improvements we're making and to have your say about how we can make GtR more user-friendly, impactful, and effective for the Research and Innovation community, please email gateway@ukri.org.

AI4FM: using AI to aid automation of proof search in Formal Methods

Lead Research Organisation: Heriot-Watt University
Department Name: S of Mathematical and Computer Sciences

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.

Publications

10 25 50
publication icon
Grov G (2013) Logic for Programming, Artificial Intelligence, and Reasoning

publication icon
Grov G (2012) Abstract State Machines, Alloy, B, VDM, and Z

publication icon
Grov G (2014) Tinker, tailor, solver, proof in Electronic Proceedings in Theoretical Computer Science

publication icon
Ireland A (2010) Abstract State Machines, Alloy, B and Z - Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings

publication icon
Ireland A (2013) Reasoned modelling critics: Turning failed proofs into modelling guidance in Science of Computer Programming

publication icon
Komendantskaya E (2012) Machine Learning in Proof General: Interfacing Interfaces

publication icon
Komendantskaya E (2013) Machine Learning in Proof General: Interfacing Interfaces in Electronic Proceedings in Theoretical Computer Science

publication icon
Lin Y (2024) The Practice of Formal Methods - Essays in Honour of Cliff Jones, Part I

 
Description http://www.ai4fm.org/
Exploitation Route Improving the productivity of theorem proving environments.
Sectors Digital/Communication/Information Technologies (including Software)
URL http://www.ai4fm.org/