VeriCool
From MaRDI portal
Software:21728
No author found.
Related Items (10)
Automatic Inference of Access Permissions ⋮ Unnamed Item ⋮ Enforcing Structural Invariants Using Dynamic Frames ⋮ The dynamic frames theory ⋮ Dafny: An Automatic Program Verifier for Functional Correctness ⋮ Static Contract Checking with Abstract Interpretation ⋮ A shared-variable concurrency analysis of multi-threaded object-oriented programs ⋮ Shape Analysis of Low-Level C with Overlapping Structures ⋮ Verifying Whiley programs with Boogie ⋮ Behavioral interface specification languages
This page was built for software: VeriCool
