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