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
- Automatic Inference of Access Permissions
- Invariants Synthesis over a Combined Domain for Automated Program Verification
- Viper: A Verification Infrastructure for Permission-Based Reasoning
- Verification of Concurrent Systems with VerCors
- Stepwise refinement of heap-manipulating code in Chalice
- Practical abstractions for automated verification of shared-memory concurrency
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers
This page was built for software: Chalice
