Output details
11 - Computer Science and Informatics
Heriot-Watt University
Article title
Discovery of invariants through automated theory formation
Type
D - Journal article
Title of journal
Formal Aspects of Computing
Article number
-
Volume number
n/a
Issue number
n/a
First page of article
1
ISSN of journal
0934-5043
Year of publication
2012
URL
-
Number of additional authors
2
Additional information
<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).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Rigorous Systems
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
