VeriCool
From MaRDI portal
Software:21728
swMATH9749MaRDI QIDQ21728FDOQ21728
Author name not available (Why is that?)
Cited In (10)
- Verifying Whiley programs with Boogie
- The dynamic frames theory
- Title not available (Why is that?)
- 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
- 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
