A system for compositional verification of asynchronous objects

An axiomatic basis for computer programming

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

Computer Programs, Programming Language Theory, Declarative Programming +15

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Engineering, Software Systems, B Method +27

Communicating sequential processes

Roger Boyle · Data Processing · 1985 · 2K citations

Engineering, Automated Reasoning, Concurrency Theory +8

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

Computer Programs, Programming Language Theory, Declarative Programming +15

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

Software Maintenance, Program Checking, Engineering +18