Output details
11 - Computer Science and Informatics
Heriot-Watt University
Discovery of invariants through automated theory formation
<11>Origins of this work lie in a paper presented at the BCS FACS Refinement Workshop associated with the 17th International Symposium on Formal Methods. The paper was informally ranked as best paper and was invited for submission to this special issue. This paper’s combination of machine learning with refinement based formal methods has contributed to an EPSRC proposal on design space exploration, involving three industrial partners – Critical Software Technologies (UK), Formal Mind (Germany), Systerel (France) [to be submitted Sept 2013 ], and has also led to an investigation into machine learning for ACL2 (supported by Platform Grant EP/J001058).