Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
The Object-Z specification language
The Object-Z specification language
Mechanizing proof: computing, risk, and trust
Mechanizing proof: computing, risk, and trust
Applications of Formal Methods
Applications of Formal Methods
High-Integrity System Specification and Design
High-Integrity System Specification and Design
The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Ten Commandments of Formal Methods
Computer
An Invitation to Formal Methods
Computer
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
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 UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
How Did Software Get So Reliable Without Proof?
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
An operational semantics for ZCCS
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
Why Engineers Should Consider Formal Methods
Why Engineers Should Consider Formal Methods
Relating "-calculus to Object-Z
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, Uk, April 4-7, 2004, Proceedings (LECTURE NOTES IN COMPUTER SCIENCE)
Computer Science Handbook, Second Edition
Computer Science Handbook, Second Edition
Why Computer-Based Systems Should Be Autonomic
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
CSB '05 Proceedings of the 2005 IEEE Computational Systems Bioinformatics Conference
B#: toward a synthesis between Z and B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZML: XML support for standard Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Journal of Systems and Software
On checking the consistency of Object-Z classes
ACM SIGSOFT Software Engineering Notes
Some Verification Issues at NASA Goddard Space Flight Center
Verified Software: Theories, Tools, Experiments
Programming language elements for correctness proofs
Acta Cybernetica
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |
Ten years ago, our 1995 paper Ten Commandments of Formal Methods [5] 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 [17],[18]. 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 ten years on, and consider their validity in the light of a further decade of industrial best practice and experiences.