Edinburgh Research Explorer

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

Project: Research

  • Bundy, Alan (Principal Investigator)
  • Bundy, Alan (Sponsor)
  • Grov, Gudmund (Co-Investigator (External))
  • Ireland, Andrew (Co-Investigator (External))
  • Jones, Cliff B. (Co-Investigator (External))
StatusFinished
Effective start/end date1/04/1031/03/14

Research outputs