Viper: A Verification Infrastructure for Permission-Based Reasoning
Abstract elided by the publisher.
Related papers
- Automatic Verification of Iterated Separating Conjunctions Using Symbolic Execution CAV 2016
- Fifteen Years of Viper CAV 2025
- Nagini: A Static Verifier for Python CAV 2018
- The VerCors Verifier: A Progress Report CAV 2024
- Modular verification of heap reachability properties in separation logic OOPSLA 2019
- Modular Product Programs ESOP 2018
- Modular Product Programs TOPLAS 2020
- Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning Onward! 2011