Experience with Formal Methods in Critical Systems
IEEE Software
Strategies for incorporating formal specifications in software development
Communications of the ACM
Formal Methods Reality Check: Industrial Usage
IEEE Transactions on Software Engineering
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
The Essence of Discrete Mathematics
The Essence of Discrete Mathematics
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Applications of Formal Methods
Applications of Formal Methods
Ten Commandments of Formal Methods
Computer
An Invitation to Formal Methods
Computer
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
Formal Methods: Promises and Problems
IEEE Software
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
The Future of Formal Methods in Industry
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Formal Methods: A Panacea or Academic Poppycock?
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Selling Formal Methods to Industry
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Formalizing space shuttle software requirements: four case studies
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Approach to the Specification and Verification of a Hardware Compilation Scheme
The Journal of Supercomputing
Confessions of a formal methodist
SCS '02 Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 - Volume 15
Semantics transformation of NFA to Z notation by constructing union of regular languages
ACS'08 Proceedings of the 8th conference on Applied computer scince
Practically Applicable Formal Methods
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Experiences of formal methods in 'conventional' software and systems design
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
| Hi-index | 0.00 |
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still be considered a niche market, there is growing evidence that they can be used successfully in industry if applied judiciously. The paper discusses same of the issues concerning the successful application of formal methods and surveys a number of examples of industrial usage, with a large bibliography for further reading on the state of the art in this area.