The practice of formal methods in safety-critical systems (original) (raw)
Related papers
Safety-Critical Systems, Formal Methods and Standards
Software Engineering Journal, 1993
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems
Electronic Proceedings in Theoretical Computer Science, 2012
First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012
Formal methods: Use and relevance for the development of safety-critical systems
The Computer Journal, 1992
On the Formal Development of Safety-Critical Software
Verified Software: Theories, …, 2008
Formal Techniques for Safety-Critical Systems
Communications in Computer and Information Science, 2014
A case study in software safety assurance using formal methods
1999
Formal Methods In Safety-Critical Standards
Proc. Software Engineering Standards Symposium (SESS'93), 1993
Formal Methods and Software Safety
Safety of Computer Control Systems 1992 (SAFECOMP'92), Proc. IFAC Symposium, 1992
The Industrial Take-Up of Formal Methods In Safety-Critical and Other Areas: A Perspective
FME'93: Industrial-Strength Formal Methods, 1993
Formal Modeling and Verification of Safety-Critical Software
IEEE Software, 2009
Formal Methods and Safety-critical Standards
Computer, 1994
Integration of Formal Methods into System Safety and Reliability Analysis
1999
Mathematical Structures in Computer Science, 2013
Safety critical systems based on formal models
ACM SIGAda Ada Letters, 2000
GSTF Journal on computing, 2014
Special Section on the Industrialization of Formal Methods: A View from Formal Methods
2005
Safety-Critical System Development Methodology
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs
Formal Methods for Industrial Critical Systems, 2019
Formal methods for life-critical software
9th Computing in Aerospace Conference, 1993
Rigorous development process of a safety-critical system: from ASM models to Java code
International Journal on Software Tools for Technology Transfer, 2015
Validating Formal Verification using Safety Analysis Techniques
1999
Proceedings of Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, 2000
Extending Safety Analysis Techniques with Formal Semantics
Technology and Assessment of Safety-Critical Systems, 1994
Proceedings 1996 Asia-Pacific Software Engineering Conference
IJERT-Study of Methods for Analyzing and Building Software on Safety Critical Systems
International Journal of Engineering Research and Technology (IJERT), 2012
Microprocessors and Microsystems, 1988
Software Engineering and Formal Methods
Communications of the ACM, 2008
Formal assessment techniques for embedded safety critical system
Formalization and Validation of Safety-Critical Requirements
Electronic Proceedings in Theoretical Computer Science, 2010
Towards Rigorous Construction of Safety Cases
Integrating Safety and Formal Analyses Using UML and PFS
Reliability Engineering & System …, 2007
Formal Approach to Faults in Safety Related Applications
IFAC Proceedings Volumes, 1990