The Z notation: a reference manual
The Z notation: a reference manual
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The ethics of safety-critical systems
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Applications of Formal Methods
Applications of Formal Methods
The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
Ten Commandments of Formal Methods
Computer
Object-oriented protocol specification
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
FORTEST: Formal Methods and Testing
COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Report on a Practical Application of ASMs in Software Design
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris)
From Object-orientation To Formal Methods: Essays In Memory Of Ole-johan Dahl (LECTURE NOTES IN COMPUTER SCIENCE)
A formal analysis of MCDC and RCDC test criteria: Research Articles
Software Testing, Verification & Reliability
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal Aspects of Computing
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Verified Software: A Grand Challenge
Computer
The verified software repository: a step towards the verifying compiler
Formal Aspects of Computing
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Grand Challenges for Computing Research
The Computer Journal
Software Specification Methods
Software Specification Methods
An Early Program Proof by Alan Turing
IEEE Annals of the History of Computing
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Z/Eves and the mondex electronic purse
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
The ideal of verified software
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
A systematic verification approach for mondex electronic purses using ASMs
Rigorous Methods for Software Construction and Analysis
From a community of practice to a body of knowledge: a case study of the formal methods community
FM'11 Proceedings of the 17th international conference on Formal methods
Hi-index | 0.00 |
Just over a decade ago, a paper Ten Commandments of Formal Methods [16] suggested some guidelines to help ensure the success of a formal methods project. It proposed ten important requirements (or “commandments”) for formal developers to consider and follow, based on our knowledge of several industrial application success stories, most of which have been reported in more detail in two books [32,33]. The paper was surprisingly popular, is still widely referenced, and used as required reading in a number of formal methods courses. However, not all have agreed with some of our commandments, feeling that they may not be valid in the long-term. We re-examine the original commandments over ten years on, and consider their validity in the light of a further decade of industrial best practice and experiences, especially with respect to formal notations like ASM, B and Z. We also cover the activities of the UK Verified Software Repository Network (VSR-net) in the context of UK Grand Challenge 6 on Dependable Systems Evolution.