Formal Pervasive Verification of a Paging Mechanism

DOI10.1007/978-3-540-78800-3_9zbMath1134.68394OpenAlexW1523275077MaRDI QIDQ5458324

Artem Starostin, Norbert W. Schirmer, Eyad Alkassar

Publication date: 11 April 2008

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78800-3_9

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Proving fairness and implementation correctness of a microkernel scheduler, Balancing the load. Leveraging a semantics stack for systems verification, Types, Maps and Separation Logic, The Isabelle Framework, Operating system verification---an overview, Proving the correctness of client/server software