Skip to main navigation
Skip to search
Skip to main content
University of Edinburgh Research Explorer Home
Help & FAQ
Home
Research output
Profiles
Research Units
Projects
Datasets
Prizes
Activities
Press / Media
Equipment
Search by expertise, name or affiliation
A14FM : using A1 to aid automation of proof search in formal methods
Bundy, Alan
(Principal Investigator)
Bundy, Alan
(Sponsor)
Grov, Gudmund
(Co-Investigator (External))
Ireland, Andrew
(Co-Investigator (External))
Jones, Cliff B.
(Co-Investigator (External))
School of Informatics
Overview
Fingerprint
Research output
(12)
Project Details
Status
Finished
Effective start/end date
1/04/10
→
31/03/14
Funding
EPSRC:
£629,217.00
View all
View less
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Formal methods
Engineering & Materials Science
100%
Event-B
Mathematics
95%
Automation
Mathematics
62%
Formal Methods
Mathematics
59%
Invariant
Mathematics
48%
Separation Logic
Mathematics
45%
Work Flow
Mathematics
41%
Preservation
Mathematics
36%
Research output
Research output per year
2009
2010
2014
2019
8
Conference contribution
4
Article
Research output per year
Research output per year
Automating Event-B invariant proofs by rippling and proof patching
Lin, Y.
,
Bundy, A.
,
Grov, G.
&
Maclean, E.
,
2 Jan 2019
,
In:
Formal Aspects of Computing.
p. 1-35
35 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
Event-B
100%
Formal methods
69%
Theorem proving
40%
Invariant
33%
Automation
22%
The Tinker tool for graphical tactic development
Grov, G.
&
Lin, Y.
,
17 Mar 2017
, (E-pub ahead of print)
In:
International Journal on Software Tools for Technology Transfer.
p. 1-17
17 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
Graphical user interfaces
100%
Formalizing Workflows Partitioning over Federated Clouds: Multi-level Security and Costs
Freitas, L.
&
Watson, P.
,
1 May 2014
,
In:
International Journal of Computer Mathematics.
91
,
5
,
p. 881-906
26 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
Work Flow
100%
Partitioning
68%
Costs
50%
Specification languages
39%
Haskell
38%