Formal Methods: From Academia to Industrial Practice. A Travel Guide

Understand

For many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software.

• However, despite this strong belief and many individual success stories, no real change in industrial software development seems to be occurring.
• In fact, the software industry itself is moving forward rapidly, and the gap between what formal methods can achieve and the daily software-development practice does not appear to be getting smaller (and might even be growing).
• In the past, many recommendations have already been made on how to develop formal-methods research in order to close this gap.