Ten Commandments of Formal Methods ...Ten Years Later

Desert Island Column

“…Very gratifyingly, it was voted one of the most popular papers in Computer in 1995, and they published a follow-up paper in January 2006 (Bowen and Hinchey 2006).…”

“…We were pleased, and surprised, to find that the original Ten Commandments of Formal Methods had held up well (Bowen and Hinchey 2006).…”

Formal analysis techniques for gossiping protocols

“…A strong point of mathematical analysis is that often it scales well with respect to the size of a network. However, it requires a lot of effort, it can only be used to analyse a limited class of properties, and the assumptions that are invariably made to simplify the analysis often affect the accuracy of the results [14]. For example, the analyses in [50,55,54] rely on the assumption of full knowledge of group membership, ignoring its practical infeasibility.…”

A Visual Tradeoff Space for Formal Verification and Validation Techniques

“…It is widely claimed that formal methods help improve the quality of software [4], [5] However, wide use of formal methods in industry and government, even for use in safety-critical commercial and defense applications, has failed to materialize in the past thirteen years [7]. One reason for this lackluster adoption of formal methods is that software development is a multifacetted process, with each phase of the process having its own unique set of challenges, and there is a lack of a clear and common understanding about the effectiveness of the spectrum of formal methods in different phases of the software development process.…”