K. Rustan M. Leino

7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Accessible Software Verification with Dafny

K. Rustan M. Leino (2017) · IEEE Software · IEEE Computer Society

The 1st Verified Software Competition: Experience Report

Vladimir Klebanov and others (2011) · FM 2011: Formal Methods · Springer

Verification of Equivalent-Results Methods

K. Rustan M. Leino and others (2008) · Springer Nature

Practical Reasoning About Invocations and Implementations of Pure Methods

Ádám Darvas and others (2007) · Springer Nature

Boogie: A Modular Reusable Verifier for Object-Oriented Programs

Mike Barnett and others (2006) · Lecture notes in computer science · Springer Science+Business Media

An overview of JML tools and applications

Lilian Burdy and others (2005) · International Journal on Software Tools for Technology Transfer · Springer Science and Business Media LLC

A logic of object-oriented programs

Martín Abadi and others (1997) · TAPSOFT '97: Theory and Practice of Software Development · Springer