Statistics
Publications
59
Citations
6.1K
H-Index
33
Active since
1993
K. Rustan M. Leino is an author at Microsoft (United States) specializing in engineering, computer science, and program analysis.
Publications per year
1993–2021
59
59
Extended static checking for Java
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations
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 · 707 citations
Xml Library, Engineering, Jml Tools +12
Verification of Object-Oriented Programs with Invariants.
Mike Barnett, Robert DeLine, Manuel Fähndrich et al. · The Journal of Object Technology · 2004 · 326 citations · Full text
Boogie: a modular reusable verifier for object-oriented programs
Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine et al. · 2006 · 242 citations
1–5 of 59