Ten Commandments of formal methods ... Ten years later

More than a decade ago, the authors offered practical guidelines for projects that sought to use formal methods. Over the years, that article has been widely cited and generated much positive feedback. However, despite this apparent enthusiasm, formal methods use has not greatly increased and some of the same attitudes about the infeasibility of adopting them persist. Yet 10 years later, the original formal methods commandments remain valid. The use of formal methods is not as prevalent as hoped, but formal approaches will always have a niche in computer-based systems development, especially when correct functioning is critical. The next 10 years should see some significant progress in integrating formal methods and traditional development practices.