The following pages link to Peter Müller (Q240898):
Displaying 21 items.
- (Q589314) (redirect page) (← links)
- Automating deductive verification for weak-memory programs (Q2324213) (← links)
- Modular invariants for layered object structures (Q2507783) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- (Q2744196) (← links)
- Viper: A Verification Infrastructure for Permission-Based Reasoning (Q2796035) (← links)
- Behavioral interface specification languages (Q2875082) (← links)
- Automatic Inference of Access Permissions (Q2891412) (← links)
- Tunable Static Inference for Generic Universe Types (Q3089393) (← links)
- Deadlock-Free Channels and Locks (Q3558239) (← links)
- Universe Types for Topology and Encapsulation (Q3602996) (← links)
- A Basis for Verifying Multi-threaded Programs (Q3617715) (← links)
- (Q4413998) (← links)
- Collaborative Verification and Testing with Explicit Assumptions (Q4647837) (← links)
- Modular specification of frame properties in JML (Q4794726) (← links)
- Automatic Inference of Heap Properties Exploiting Value Domains (Q5172654) (← links)
- Verification of Equivalent-Results Methods (Q5458406) (← links)
- FM 2005: Formal Methods (Q5716910) (← links)
- Programming Languages and Systems (Q5899012) (← links)
- Modular specification and verification of object-oriented programs (Q5960651) (← links)
- Concise outlines for a complex logic: a proof outline checker for TaDA (Q6145023) (← links)
