Operating system verification—An overview

Lecture Notes in Computer Science 1205

Industrial Robot the international journal of robotics research and application · 1999 · 38.7K citations

Computing, Computer Science, Programming Languages +2

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

Computing, Computer Science, Mathematics +17

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

Computing, Computer Science, Data Structures +14

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

Security Policies and Security Models

Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations

Computing, Computer Science, Computer Systems +15