Formal Methods Adoption: What's Working, What's Not!

Authors:
Dan Craigen
Affiliations:
-
Venue:
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Year:
1999

Citing 4
Cited 0

m-EVES: A tool for verifying software

ICSE '88 Proceedings of the 10th international conference on Software engineering
Observations on industrial practice using formal methods

ICSE '93 Proceedings of the 15th international conference on Software Engineering
The Z/EVES System

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
EVES: An Overview

VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Drawing from the author's twenty years of experience in formal methods research and development, and, particularly, with the EVES-based systems, this paper provides personal impressions on what is and what is not working with regards to the adoption and application of formal methods. As both the community's understanding of technology transfer issues and formal methods technology improve, one is optimistic that formal methods will play an increasingly important role in industry. However, significant impediments continue to exist with, perhaps, the increasing complexity of systems being both a blessing and a curse.