Logic and Epistemology in Safety Cases-Reference-Cited by-同舟云学术

Logic and Epistemology in Safety Cases

Published:2013 Issue: Volume: Page:1-7
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Rushby John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40793-2_1

Reference20 articles.

1. Requirements and Technical Concepts for Aviation (RTCA) Washington, DC: DO-178C: Software Considerations in Airborne Systems and Equipment Certification (2011)

2. Haddon-Cave, C.: The Nimrod Review: An independent review into the broader issues surrounding the loss of the RAF Nimrod MR2 Aircraft XV230 in Afghanistan in 2006. Report, The Stationery Office, London, UK (2009), http://www.official-documents.gov.uk/document/hc0809/hc10/1025/1025.pdf

3. Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., et al.: seL4: Formal verification of an OS kernel. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, pp. 207–220. ACM (2009)

4. Lecture Notes in Computer Science;P. Miner,2004

5. Narkawicz, A., Muñoz, C.: Formal verification of conflict detection algorithms for arbitrary trajectories. Reliable Computing 17, 209–237 (2012)

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

1. A PRISMA-driven systematic mapping study on system assurance weakeners;Information and Software Technology;2024-11

2. Assessing the Impact of GPT-4 Turbo in Generating Defeaters for Assurance Cases;Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering;2024-04-14

3. Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM;Formal Aspects of Computing;2021-06-08

4. New Opportunities for Integrated Formal Methods;ACM Computing Surveys;2020-11-30

5. Just Enough Formality in Assurance Argument Structures;Lecture Notes in Computer Science;2020