Here are
39 public repositories
matching this topic...
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
Probabilistic separation logics for verifying higher-order probabilistic programs.
The VerCors verification toolset for verifying parallel and concurrent software
Updated
Jun 4, 2024
Scala
Partial Commutative Monoids
Program logic for developing and verifying distributed systems
A Symbolic Executor based on Separaton Logic
Updated
Mar 27, 2024
SWIG
Decision procedure for strong-separation logic
Updated
Mar 18, 2024
OCaml
Mechanised Reasoning about Array-Based Trees in Separation Logic
Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"
Updated
Dec 7, 2023
Haskell
Demos for lecture on Separation Logic by O'Hearn from CACM 2019.
Mostly Automated Proof Repair for Verified Libraries
Updated
Jun 1, 2023
OCaml
A verification tool developed in Coq for analyzing cloud block storage
Competition of Solvers for Separation Logic
Updated
Apr 24, 2023
SCSS
Synthesis of Heap-Manipulating Programs from Separation Logic
Updated
Apr 18, 2023
Scala
Verifying FF-A hypercalls using VMSL.
A verification tool developed in Coq for analyzing cloud block storage
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol
Updated
Dec 9, 2022
Haskell
Test input generation using separation logic
Updated
Nov 15, 2022
Java
Improve this page
Add a description, image, and links to the
separation-logic
topic page so that developers can more easily learn about it.
Curate this topic
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."
Learn more
You can’t perform that action at this time.