AI4FM - Artificial Intelligence for Formal Methods

From April 2010 to February 2015
Project Leader(s): Prof. Cliff Jones
Contact: Prof. Cliff Jones
Sponsors: EPSRC
Partners: University of Edinburgh