DagRep.2.7.1.pdf
- Filesize: 0.85 MB
- 29 pages
Document
AI meets Formal Software Development (Dagstuhl Seminar 12271)
Authors and all authors of the abstracts in this report
-
Part of:
Issue:
Dagstuhl Reports, Volume 2, Issue 7
Volume: Dagstuhl Reports, Volume 2
Journal: Dagstuhl Reports (DagRep) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2012-10-05
Cite As Get BibTex
Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore. AI meets Formal Software Development (Dagstuhl Seminar 12271). In Dagstuhl Reports, Volume 2, Issue 7, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/DagRep.2.7.1
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12271 ``AI meets Formal Software Development''. This seminar brought together researchers from formal methods and AI. The participants addressed the issue of how AI can aid the formal software development process, including modelling and proof. There was a pleasing number of participants from industry and this made it possible to ground the discussions on industrial-scale problems.
Subject Classification
Keywords
- Learning of proof processes and strategies
- Theory development
- Formal software development
- Automated reasoning
- Formal modelling
- Industrial use of formal methods
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads