separation-logic topic
List
separation-logic repositories
suslik
121
Stars
20
Forks
Watchers
Synthesis of Heap-Manipulating Programs from Separation Logic
htt
66
Stars
5
Forks
Watchers
Hoare Type Theory
disel
93
Stars
8
Forks
Watchers
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
fcsl-pcm
25
Stars
10
Forks
Watchers
Partial Commutative Monoids
aneris
31
Stars
6
Forks
Watchers
Program logic for developing and verifying distributed systems
vercors
49
Stars
24
Forks
Watchers
The VerCors verification toolset for verifying parallel and concurrent software
katamaran
16
Stars
3
Forks
Watchers
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 funct...