The following pages link to VCC (Q19271):
Displayed 11 items.
- RustHorn: CHC-Based Verification for Rust Programs (Q5041108) (← links)
- Verification of Concurrent Systems with VerCors (Q5175776) (← links)
- Extending Sledgehammer with SMT Solvers (Q5200019) (← links)
- Heaps and Data Structures: A Challenge for Automated Provers (Q5200023) (← links)
- A Formalization of the C99 Standard in HOL, Isabelle and Coq (Q5200133) (← links)
- An Assertional Proof of the Stability and Correctness of Natural Mergesort (Q5277907) (← links)
- Automating Theorem Proving with SMT (Q5327333) (← links)
- Local Reasoning for Global Invariants, Part II (Q5395717) (← links)
- Expressive modular fine-grained concurrency specification (Q5408549) (← links)
- From Total Store Order to Sequential Consistency: A Practical Reduction Theorem (Q5747665) (← links)
- Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development (Q5747779) (← links)