Chalice
From MaRDI portal
Software:19721
swMATH7704MaRDI QIDQ19721FDOQ19721
Author name not available (Why is that?)
Cited In (9)
- 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
- 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
