Formal Methods and their Role in the Certification of Critical Systems-Reference-Cited by-同舟云学术

Formal Methods and their Role in the Certification of Critical Systems

Published:1997 Issue: Volume: Page:1-42
ISSN:
Container-title:Safety and Reliability of Software Based Systems
language:
Short-container-title:

Author:

Rushby John

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-0921-1_1.pdf

Reference46 articles.

1. Biddle W. Barons of the Sky: From Early Flight to Strategic Warfare, the Story of the American Aerospace Industry. Simon and Schuster, New York, NY, 1991. Paperback edition by Henry Holt, 1993.

2. Boeing Commercial Airplane Group. Statistical Summary of Commercial Jet Aircraft Accidents, Worldwide Operations,1959–1994. Seattle, WA, Mar. 1995. Published annually by Boeing Airplane Safety Engineering (B-210B).

3. Brazendale J, and Jeffs AR. Out of control: Failures involving control systems. High Integrity Systems 1, 1 (1994), 67–72.

4. Burns R W. Genius at work. IEE Review 39, 5 (Sept. 1993), 187–189.

5. Butler R W, and Finelli G B. The infeasibility of experimental quantification of life-critical software reliability. IEEE Transactions on Software Engineering 19, 1 (Jan. 1993), 3–12.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Example Applications of Formal Methods to Aerospace and Autonomous Systems;2023 IEEE International Conference on Assured Autonomy (ICAA);2023-06

2. A formal approach to rigorous development of critical systems;Journal of Software: Evolution and Process;2021-01-26

3. Formal Verification of a Merge Sort Algorithm in SPARK;AIAA Scitech 2021 Forum;2021-01-04

4. Experience Report on Formally Verifying Parts of OpenJDK's API with KeY;Electronic Proceedings in Theoretical Computer Science;2018-11-27

5. Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY;Interactive Theorem Proving;2018