Verification Algorithms for Automated Separation Logic Verifiers
Most automated program verifiers for separation logic use either symbolic execution or
verification condition generation to extract proof obligations, which are then handed over to …
verification condition generation to extract proof obligations, which are then handed over to …
[PDF][PDF] Advanced Counterexample Generation in Viper
R van Doren - 2023 - ethz.ch
Automated program verification is an essential feature for the reliability of code correctness.
The Viper intermediate verification language offers a verifier for permission-based …
The Viper intermediate verification language offers a verifier for permission-based …
[PDF][PDF] Enabling Object Equality Reasoning for Python
M Greutmann - 2024 - ethz.ch
Python is currently one of the most popular programming languages and fundamental in
many research areas such as data science due to its ease of use, flexibility and vast number …
many research areas such as data science due to its ease of use, flexibility and vast number …
[PDF][PDF] Verification of Python Code with a Dynamic Object Model
E Vitolins - 2023 - ethz.ch
One of the reasons why Python has become so popular is its expressiveness. Functionality
that might be fixed in other languages is often highly customizable in Python. One great …
that might be fixed in other languages is often highly customizable in Python. One great …