The following pages link to (Q4371400):
Displayed 17 items.
- Views on Behaviour Protocols and Their Semantic Foundation (Q2888499) (← links)
- Partiality, State and Dependent Types (Q3007667) (← links)
- Reverse Hoare Logic (Q3095238) (← links)
- New (Q3178271) (← links)
- An Automatic Technique for Static Deadlock Prevention (Q3455052) (← links)
- Inferring Loop Invariants Using Postconditions (Q3586008) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- Distributed Objects for Parallel Numerical Applications (Q4423090) (← links)
- Algorithmic support for model transformation in object-oriented software development (Q4790926) (← links)
- Modular specification of frame properties in JML (Q4794726) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Loop invariants (Q5176169) (← links)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (Q5452615) (← links)
- Checking Java Assertions Using Automated Test-Case Generation (Q5743595) (← links)
- Sound and Relaxed Behavioural Inheritance (Q5861787) (← links)
- An algebraic glimpse at bunched implications and separation logic (Q6201543) (← links)