VeriCool
From MaRDI portal
Software:21728
swMATH9749MaRDI QIDQ21728FDOQ21728
Author name not available (Why is that?)
Cited In (10)
- Verifying Whiley programs with Boogie
- Automatic Inference of Access Permissions
- The dynamic frames theory
- Title not available (Why is that?)
- Dafny: An Automatic Program Verifier for Functional Correctness
- Behavioral interface specification languages
- A shared-variable concurrency analysis of multi-threaded object-oriented programs
- Enforcing Structural Invariants Using Dynamic Frames
- Shape Analysis of Low-Level C with Overlapping Structures
- Static Contract Checking with Abstract Interpretation
This page was built for software: VeriCool
