Synthesis of Heap-Manipulating Programs from Separation Logic
-
Updated
Apr 18, 2023 - Scala
#
separation-logic
Here are 4 public repositories matching this topic...
The VerCors verification toolset for verifying parallel and concurrent software
c java opencl concurrency openmp verification viper parallelism software-analysis separation-logic vercors-toolset
-
Updated
Oct 6, 2025 - Scala
Synthesis with Read-Only Borrows
-
Updated
Jan 30, 2020 - Scala
Voila is proof outline checker for fine-grained concurrency verification
concurrency verification formal-methods program-verification software-verification separation-logic fine-grained-concurrency
-
Updated
Apr 10, 2022 - Scala
Improve this page
Add a description, image, and links to the separation-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the separation-logic topic, visit your repo's landing page and select "manage topics."