The application of formal methods has a long history but they have not been substantially adopted by the software engineering community at large. To gain a perspective of what is working and what is not in the formal methods area we have reviewed their use by industry and the results of past R&D programmes. The objective is to identify crucial factors leading to the success or failure of the application of formal methods and in doing so provide a perspective on the current formal methods landscape. The overall aim is to inform future formal methods dissemination activities and other initiatives.

This report is a draft that has been produced under contract for the Bundesamt für Sicherheit in der Informationstechnik (BSI) - the German federal agency for information security. It currently lacks details of the formal methods landscape in Germany that will be added by our sponsors in the final version of the report.

The report was produced by Adelard in collaboration with Dan Craigen from ORA Canada.

We welcome feedback on the report.