Chalice
From MaRDI portal
Cited in
(18)- Stepwise refinement of heap-manipulating code in Chalice
- Verifying Whiley programs with Boogie
- VeriCool
- FixBag
- VerCors
- GPUVerify
- Grasshopper
- THOR
- Viper: a verification infrastructure for permission-based reasoning
- Invariants synthesis over a combined domain for automated program verification
- Automatic inference of access permissions
- coreStar
- RVT
- CIVL
- Concise read-only specifications for better synthesis of programs with pointers
- Verification of concurrent systems with VerCors
- Practical abstractions for automated verification of shared-memory concurrency
- Product programs in the wild: retrofitting program verifiers to check information flow security
This page was built for software: Chalice
