Report from Dagstuhl Seminar 12271 AI meets Formal Software Development 1 Executive Summary

Alan Bundy, Dieter Hutter, Cliff Jones, J Strother, Moore, Cliff Jones
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
more » ... license © Cliff B. Jones 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.
fatcat:yf2ce4565rasxdgjo3ofmpktam