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 (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
Grov G (2013) Logic for Programming, Artificial Intelligence, and Reasoning

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

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
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

 
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/