Balancing the Load

An approach to systems verification

William R. Bevier, Warren A. Hunt, J Strother Moore et al. · Journal of Automated Reasoning · 1989 · 143 citations

Engineering, Automated Reasoning, Program Analysis +11

Operating system verification—An overview

Gerwin Klein · Sadhana · 2009 · 124 citations

Engineering, Operating Systems, Verification +9

Putting it all together – Formal verification of the VAMP

Sven Beyer, Christian Jacobi, Daniel Kröning et al. · International Journal on Software Tools for Technology Transfer · 2006 · 90 citations · Full text

– Formal Verification, Humanities, Existentialism +6

Towards trustworthy computing systems

Gernot Heiser, Kevin Elphinstone, Ihor Kuz et al. · ACM SIGOPS Operating Systems Review · 2007 · 80 citations · Full text

Engineering, Information Security, Trust Management Architecture +25

Hoare Logic and Auxiliary Variables

Thomas Kleymann · Formal Aspects of Computing · 1999 · 73 citations · Full text