Pervasive Verification of an OS Microkernel-Reference-Cited by-同舟云学术

Pervasive Verification of an OS Microkernel

Published:2010 Issue: Volume: Page:71-85
ISSN:0302-9743
Container-title:Verified Software: Theories, Tools, Experiments
language:
Short-container-title:

Author:

Alkassar Eyad,Paul Wolfgang J.,Starostin Artem,Tsyban Alexandra

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-15057-9_5.pdf

Reference23 articles.

1. Alkassar, E.: OS Verification Extended - On the Formal Verification of Device Drivers and the Correctness of Client/Server Software. PhD thesis, Saarland University, Computer Science Dept. (2009)

2. Lecture Notes in Computer Science;E. Alkassar,2008

3. Lecture Notes in Computer Science;E. Alkassar,2008

4. Alkassar, E., Hillebrand, M., Leinenbach, D., Schirmer, N., Starostin, A., Tsyban, A.: Balancing the load: Leveraging semantics stack for systems verification. J. Autom. Reasoning 42(2-4), 389–454 (2009)

5. Lecture Notes in Computer Science;E. Alkassar,2008

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

1. Refinement Verification of OS Services based on a Verified Preemptive Microkernel;Lecture Notes in Computer Science;2024

2. The K2 Architecture for Trustworthy Hardware Security Modules;Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification;2023-10-23

3. A Lean Networking Framework (LeaNet): Potential Technical Space and Approaches for Latency Sensitive Mobile Services;IEEE Network;2023

4. Formal Verification of the Interrupt Dispatch Program of an Embedded Operating System;2022 8th International Symposium on System Security, Safety, and Reliability (ISSSR);2022-10

5. Cogent: uniqueness types and certifying compilation;Journal of Functional Programming;2021