Formal Pervasive Verification of a Paging Mechanism-Reference-Cited by-同舟云学术

Formal Pervasive Verification of a Paging Mechanism

Published: Issue: Volume: Page:109-123
ISSN:
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Alkassar Eyad,Schirmer Norbert,Starostin Artem

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_9.pdf

Reference16 articles.

1. Alkassar, E., Hillebrand, M., Knapp, S., Rusev, R., Tverdyshev, S.: Formal device and programming model for a serial interface. In: Proc. 4th International Verification Workshop (VERIFY). CEUR-WS Workshop Proc. (2007)

2. Bevier, W., Hunt Jr., W., Moore, J.S., Young, W.: An approach to systems verification. Journal of Automated Reasoning 5(4), 411–428 (1989)

3. Beyer, S., Jacobi, C., Kroening, D., Leinenbach, D., Paul, W.: Putting it all together: Formal verification of the VAMP. International Journal on Software Tools for Technology Transfer 8(4–5), 411–430 (2006)

4. Condea, C.: Design and implementation of a page fault handler in C0. Master’s thesis, Saarland University (July 2006)

5. Lecture Notes in Computer Science;M. Gargano,2005

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

1. Memory State Verification Based on Inductive and Deductive Reasoning;IEEE Transactions on Reliability;2021-09

2. Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS;Computer Aided Verification;2019

3. A Verified Specification of TLSF Memory Management Allocator Using State Monads;Dependable Software Engineering. Theories, Tools, and Applications;2019

4. Comprehensive formal verification of an OS microkernel;ACM Transactions on Computer Systems;2014-02

5. Theory of Multi Core Hypervisor Verification;Lecture Notes in Computer Science;2013