The infeasibility of experimental quantification of life-critical software reliability
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Safeware: system safety and computers
Safeware: system safety and computers
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Applications of Formal Methods
Applications of Formal Methods
The Core Method for Real-Time Requirements
IEEE Software
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Formal Verification of an Avionics Microprocessor
Formal Verification of an Avionics Microprocessor
Specification transformation and semantic expansion to support automated testing
Specification transformation and semantic expansion to support automated testing
Using TAME to prove invariants of automata models: Two case studies
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Proving Invariants of I/O Automata with TAME
Automated Software Engineering
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Industrial Practice in Formal Methods: A Review
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Hi-index | 0.00 |
Even though the use of formal methods in industry has been documented in numerous case studies, skepticism about their usefulness remains widespread. However, formalisms have evolved rapidly over the last decade and are doing a much better job of meeting the needs of industry. This paper briefly describes several of the experiments in formal methods that have been conducted at Rockwell Collins and attempts to pull these observations together into a profile of what industry needs from the research community.