A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code

Thumbnail Image

Files

Primary 249355.pdf (377.66 KB)

Date

2008

Authors

Tews, H. Hendrik
Weber, T.M. Tjark
Völp, Marcus

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/249355

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By