A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Report from Dagstuhl Seminar 12271 AI meets Formal Software Development 1 Executive Summary
unpublished
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. License Creative Commons BY-NC-ND 3.0
fatcat:yf2ce4565rasxdgjo3ofmpktam