Formal Verification of a Microkernel Used in Dependable Software Systems-Reference-Cited by-同舟云学术

Formal Verification of a Microkernel Used in Dependable Software Systems

Published:2009 Issue: Volume: Page:187-200
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baumann Christoph,Beckert Bernhard,Blasum Holger,Bormer Thorsten

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04468-7_16

Reference21 articles.

1. Airlines Electronic Engineering Committee. Avionics Application Software Standard Interface. Aeronautical Radio, Inc., 2551 Riva Road, Annapolis, MD 21401, ARINC specification 653 (1997)

2. Alglave, J., et al.: The semantics of Power and ARM multiprocessor machine code. In: DAMP 2009: Proceedings of the 4th Workshop on Declarative Aspects of Multicore Programming, Savannah, GA, USA, pp. 13–24. ACM, New York (2009)

3. Baumann, C., Beckert, B., Blasum, H., Bormer, T.: Better avionics software reliability by code verification. In: Proceedings, embedded world Conference, Nuremberg, Germany (2009)

4. Lecture Notes in Computer Science;S. Blazy,2006

5. Lecture Notes in Computer Science;E. Cohen,2009

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

1. Formally Verified Isolation of DMA;Form Comp Aid Design;2022

2. Formal Methods;Texts in Theoretical Computer Science. An EATCS Series;2022

3. End-to-End Automated Verification for OS Kernels;2018 25th Asia-Pacific Software Engineering Conference (APSEC);2018-12

4. Is formal proof of seL4 sufficient for avionics security?;IEEE Aerospace and Electronic Systems Magazine;2018-02

5. A survey on formal specification and verification of separation kernels;Frontiers of Computer Science;2017-01-11