swMATH7704MaRDI QIDQ19721FDOQ19721
Author name not available (Why is that?)
Official website: http://research.microsoft.com/en-us/projects/chalice/
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
