K. Rustan M. Leino

From MaRDI portal
Person:633284

Available identifiers

zbMath Open leino.k-rustan-mMaRDI QIDQ633284

List of research outcomes





PublicationDate of PublicationType
Quicksort revisited. Verifying alternative versions of quicksort2021-05-20Paper
An Assertional Proof of the Stability and Correctness of Natural Mergesort2017-07-12Paper
Behavioral interface specification languages2014-08-13Paper
Automating Theorem Proving with SMT2013-08-07Paper
Stepwise refinement of heap-manipulating code in Chalice2013-03-22Paper
Automating Induction with an SMT Solver2012-06-15Paper
Doomed program points2011-03-31Paper
Dafny: An Automatic Program Verifier for Functional Correctness2011-01-07Paper
Deadlock-Free Channels and Locks2010-05-04Paper
A Polymorphic Intermediate Verification Language: Design and Logical Encoding2010-04-27Paper
Verification: Theory and Practice2010-03-23Paper
Efficient weakest preconditions2009-08-27Paper
A Basis for Verifying Multi-threaded Programs2009-03-31Paper
HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier2008-12-04Paper
Verification of Equivalent-Results Methods2008-04-11Paper
https://portal.mardi4nfdi.de/entity/Q54473722008-03-06Paper
Using History Invariants to Verify Observers2007-09-04Paper
Specification and verification challenges for sequential object-oriented programs2007-08-23Paper
Programming Languages and Systems2007-05-02Paper
Programming Languages and Systems2006-10-20Paper
FM 2005: Formal Methods2006-01-10Paper
Verification, Model Checking, and Abstract Interpretation2005-12-06Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
Generating error traces from verification-condition counterexamples2005-05-12Paper
https://portal.mardi4nfdi.de/entity/Q44263752003-09-16Paper
https://portal.mardi4nfdi.de/entity/Q47787022002-11-19Paper
Virginity: A contribution to the specification of object-oriented software2002-08-04Paper
Annotation inference for modular checkers2002-07-25Paper
https://portal.mardi4nfdi.de/entity/Q27639992002-01-22Paper
A semantic approach to secure information flow2000-06-04Paper
Computing permutation encodings2000-01-02Paper
https://portal.mardi4nfdi.de/entity/Q42309241999-06-07Paper
Joining specification statements1999-04-28Paper
Constructing a program with exceptions1997-02-28Paper
Conditional composition1996-02-25Paper
https://portal.mardi4nfdi.de/entity/Q38132541988-01-01Paper

Research outcomes over time

This page was built for person: K. Rustan M. Leino