K. Rustan M. Leino

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

An overview of JML tools and applications

Lilian Burdy, Yoonsik Cheon, David R. Cok et al. · International Journal on Software Tools for Technology Transfer · 2004 · 713 citations

Computing, Computer Science, Programming Languages +11

Verification of Object-Oriented Programs with Invariants.

Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 327 citations · Full text

Computing, Computer Science, Formal Methods +16

Boogie: a modular reusable verifier for object-oriented programs

Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine et al. · 2006 · 244 citations

Computing, Computer Science, Formal Methods +12

Weakest-precondition of unstructured programs

Mike Barnett, K. Rustan M. Leino · ACM SIGSOFT Software Engineering Notes · 2005 · 203 citations

Computing, Computer Science, Formal Methods +12