Formal methods for life-critical software (original) (raw)
Related papers
Software Engineering and Formal Methods
Communications of the ACM, 2008
The practice of formal methods in safety-critical systems
Journal of Systems and Software, 1995
Formal methods: Use and relevance for the development of safety-critical systems
The Computer Journal, 1992
FORMAL METHODS: BENEFITS, CHALLENGES AND FUTURE DIRECTION
Applying formal methods to a telecommunications system in a commercial setting
1998
Formal Modeling and Verification of Safety-Critical Software
IEEE Software, 2009
Formal Techniques for Safety-Critical Systems
Communications in Computer and Information Science, 2014
Pinnacles of software engineering: 25 years of formal methods
2000
Formal methods in software development: A road less travelled
2010
Formality in Software Requirements
arXiv (Cornell University), 2019
Early Validation of Requirements Through Formal Methods
On fitting a formal method into practice
2011
The Role of Formalism in System Requirements
ACM Computing Surveys
Lecture Notes in Computer Science, 2008
Formal Methods: For When Your Software Must Work
AXIS: The UCISA Journal of Academic Computing and Information Systems, Vol. 2, No, 3, 1995, pp9-15, 1995
The role of formalism in system requirements (full version)
2019
A user-friendly formal requirements specification method
Proceedings of the 30th annual Southeast regional conference on - ACM-SE 30, 1992
Safety-Critical Systems, Formal Methods and Standards
Software Engineering Journal, 1993
Applying formal specification in industry
IEEE Software, 1996
Formalization and Validation of Safety-Critical Requirements
Electronic Proceedings in Theoretical Computer Science, 2010
On the Formal Development of Safety-Critical Software
Verified Software: Theories, …, 2008
Formal methods: Practice and experience
ACM Computing …, 2009
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems
Electronic Proceedings in Theoretical Computer Science, 2012
Proceedings 1996 Asia-Pacific Software Engineering Conference
Special Section on the Industrialization of Formal Methods: A View from Formal Methods
2005
GSTF Journal on computing, 2014
Formal Methods: State of the Art and Future Directions
Software & Systems Modeling, 2011
A case study in software safety assurance using formal methods
1999