AI4FM - Artificial Intelligence for Formal Methods

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