Edinburgh Research Explorer

A14FM : using A1 to aid automation of proof search in formal methods

Project: Funded ProjectResearch

  • Bundy, Alan (Principal investigator)
  • Bundy, Alan (Sponsor)
  • Jones, Cliff B. (Co-Investigator (External))
  • Ireland, Andrew (Co-Investigator (External))
  • Grov, Gudmund (Co-Investigator (External))
Total award£629,217.00
Funding organisationEPSRC
Funder project referenceEP/H024204/1
Period1/04/1031/03/14