Cited in
(15)- Verifying Whiley programs with Boogie
- The dynamic frames theory
- scientific article; zbMATH DE number 6712238 (Why is no real title available?)
- Shape analysis of low-level C with overlapping structures
- Enforcing structural invariants using dynamic frames
- Behavioral interface specification languages
- A shared-variable concurrency analysis of multi-threaded object-oriented programs
- JACK
- HighSpec
- Jahob
- Goblint
- HAVOC
- Static contract checking with abstract interpretation
- Automatic inference of access permissions
- Dafny: an automatic program verifier for functional correctness
This page was built for software: VeriCool
