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
Grov G
(2017)
The Tinker tool for graphical tactic development
in International Journal on Software Tools for Technology Transfer
Lin Y
(2019)
Automating Event-B invariant proofs by rippling and proof patching
in Formal Aspects of Computing
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. |