The following pages link to VeriCool (Q21728):
Displayed 10 items.
- The dynamic frames theory (Q539422) (← links)
- A shared-variable concurrency analysis of multi-threaded object-oriented programs (Q1004057) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- Behavioral interface specification languages (Q2875082) (← links)
- Automatic Inference of Access Permissions (Q2891412) (← links)
- (Q2981009) (← links)
- Enforcing Structural Invariants Using Dynamic Frames (Q3000638) (← links)
- Dafny: An Automatic Program Verifier for Functional Correctness (Q3066108) (← links)
- Static Contract Checking with Abstract Interpretation (Q3067530) (← links)
- Shape Analysis of Low-Level C with Overlapping Structures (Q3656885) (← links)