Mechanizing proof: computing, risk, and trust
Mechanizing proof: computing, risk, and trust
Applications of Formal Methods
Applications of Formal Methods
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
Confessions of a formal methodist
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
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
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings (Lecture Notes in Computer Science)
Proceedings of the 5th international conference on Integrated Formal Methods
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Formal analysis techniques for gossiping protocols
ACM SIGOPS Operating Systems Review - Gossip-based computer networking
Automated Software Engineering
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Formal specification of wireless and pervasive healthcare applications
ACM Transactions on Embedded Computing Systems (TECS)
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
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Lessons learnt from the adoption of formal model-based development
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Specification patterns for properties over reachable states of graph grammars
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
OCE: an online colaborative editor
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
| Hi-index | 4.10 |
How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal methods improved? The authors revisit their ten maxims to answer these questions.