Research in formal methods has been going on for more than twenty years now in various areas such as mathematical verification, formal specification, transformation, prototyping, and testing. Recently, several flavors of formal methods have been gaining industrial acceptance and production quality software tools have begun emerging. The purpose of this workshop is to bring together experts in formal methods technology and the early innovators in industry who have adopted formal methods. Discussions will focus on the impact of formal methods on software practice, as well as on strategies to further this impact in the future. The format of the workshop will be presentations of accepted submissions and possibly a panel discussion.
Attendance is open to all.
Authors are invited to submit extended abstracts not longer than 4000 words. Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this workshop. Extended abstracts accepted for presentation will also be published in the proceedings of the workshop. Submissions should focus on the application of formal methods to software practice. They should cover topics related to formal methods technology transition to industry - experience reports, the needs of industry, and visions for the future.