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
Maclean E
(2016)
Proof automation for functional correctness in separation logic
in Journal of Logic and Computation
| 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. |