How the design of JML accommodates both runtime assertion checking and formal verification

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

An axiomatic basis for computer programming

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

Computing, Computer Science, Mathematics +17

Extended static checking for Java

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

Computing, Computer Science, Formal Methods +16

A behavioral notion of subtyping

Barbara Liskov, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Science, Formal Methods +14

Alloy

Daniel Jackson · ACM Transactions on Software Engineering and Methodology · 2002 · 1.2K citations

Computing, Computer Science, Artificial Intelligence +14