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