Proving Fairness and Implementation Correctness of a Microkernel Scheduler-Reference-Cited by-同舟云学术

Proving Fairness and Implementation Correctness of a Microkernel Scheduler

Published:2009-04 Issue:2-4 Volume:42 Page:349-388
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Daum Matthias,Dörrenbächer Jan,Wolff Burkhart

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/s10817-009-9119-8.pdf

Reference49 articles.

1. LNCS;E Alkassar,2008

2. LNCS;E Alkassar,2008

3. Alkassar, E., Hillebrand, M.A., Leinenbach, D.C., Schirmer, N.W., Starostin, A., Tsyban, A.: Balancing the load—leveraging a semantics stack for systems verification. J. Autom. Reasoning, Special Issue on Operating System Verification (2009). doi: 10.1007/s10817-009-9123-z

4. LNCS;E Alkassar,2008

5. Andrews, P.B.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)

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

1. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages;ACM Transactions on Programming Languages and Systems;2024-03-29

2. Formal Modeling and Verification of the Sequential Kernel of an Embedded Operating System;2021 18th International Computer Conference on Wavelet Active Media Technology and Information Processing (ICCWAMTIP);2021-12-17

3. Challenges and Ways Forward for Avionics Platforms and their Development in 2019;2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC);2019-09

4. Modeling and Verification of ARINC 653 Hierarchical Preemptive Scheduling;The International Arab Journal of Information Technology;2019-01-01

5. Using Ontologies in Formal Developments Targeting Certification;Lecture Notes in Computer Science;2019