P
Peter Müller
Researcher at ETH Zurich
Publications - 180
Citations - 5126
Peter Müller is an academic researcher from ETH Zurich. The author has contributed to research in topics: Separation logic & Correctness. The author has an hindex of 35, co-authored 171 publications receiving 4639 citations. Previous affiliations of Peter Müller include Microsoft & Rolf C. Hagen Group.
Papers
More filters
Book
Modular Specification and Verification of Object-Oriented Programs
TL;DR: The Mojave Type System and the Universe Type System are studied, which describes the specification and verification of type Invariants in a modular manner, and the semantics of Mojave are studied.
Book ChapterDOI
Viper: A Verification Infrastructure for Permission-Based Reasoning
TL;DR: A verification infrastructure whose intermediate language supports an expressive permission model natively is presented, alleviating much of the burden of building permission-based verifiers, and allowing the developers of higher-level reasoning techniques to focus their efforts at an appropriate level of abstraction.
Book ChapterDOI
Object Invariants in Dynamic Contexts
K. Rustan M. Leino,Peter Müller +1 more
TL;DR: In this article, the authors present a methodology for specifying and verifying object-oriented programs, using object invariants to specify the consistency of data and using ownership to organize objects into contexts.
Journal Article
Object invariants in dynamic contexts
K. Rustan M. Leino,Peter Müller +1 more
TL;DR: This paper describes a methodology for specifying and verifying object-oriented programs, using object invariants to specify the consistency of data and using ownership to organize objects into contexts.
Journal ArticleDOI
Universes: Lightweight Ownership for JML.
Werner Dietl,Peter Müller +1 more
TL;DR: It is shown that the combination of the lightweight Universe type system and JML specifications is flexible enough to handle interesting implementations while keeping the annotation and checking overhead small.