A Generic Goal-Based Certification Argument for the Justification of Formal Analysis-Reference-Cited by-同舟云学术

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

Published:2009-09 Issue:4 Volume:238 Page:27-39
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Habli Ibrahim,Kelly Tim

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference9 articles.

1. Acceptance of formal methods: Lessons from hardware design;Dill;IEEE Computer,1996

2. EUROCAE (European Organisation for Civil Aviation equipment), ED-12B/DO-178B: Software Considerations in Airborne Systems and Equipment Certification, EUROCAE 9 (1994)

3. Galloway, A., R.F. Paige, N.J. Tudor, R.A. Weaver, I. Toyn and J.A. McDermid, “Proof vs Testing in the Context of Safety Standards,” Digital Avionics Systems Conference (DASC), IEEE Press, Washington, USA, October 2005

4. Seven Myths of Formal Methods;Hall;IEEE Software,1990

5. Impediments to Industrial Use of Formal Methods;Holloway;IEEE Computer,1996

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

1. Geofencing requirements for onboard safe operation monitoring;CEAS Aeronautical Journal;2020-05-16

2. Software Assurance in an Uncertain World;Fundamental Approaches to Software Engineering;2019

3. Safety Standards: Chronic Challenges and Emerging Principles;Handbook of Safety Principles;2018-01-05

4. Advances in Computational Intelligence and Autonomy for Aerospace Systems;2018-01

5. Index;Advances in Computational Intelligence and Autonomy for Aerospace Systems;2018-01