The following pages link to Stijn De Gouw (Q439943):
Displaying 13 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- (Q1725845) (redirect page) (← links)
- Verifying OpenJDK's sort method for generic collections (Q1725846) (← links)
- Statically and dynamically verifiable SLA metrics (Q2026797) (← links)
- Effectively eliminating auxiliaries (Q2026798) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q2165501) (← links)
- Proof pearl: The KeY to correct and stable sorting (Q2351413) (← links)
- Run-Time Checking Multi-threaded Java Programs (Q2794361) (← links)
- Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks (Q2927647) (← links)
- Being and Change: Reasoning About Invariance (Q3449632) (← links)
- Integrating ADTs in KeY and their application to history-based reasoning about collection (Q6185826) (← links)
- The logic of separation logic: models and proofs (Q6541164) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q6611956) (← links)
