4 results found Sort:

TyGuS
suslik TyGuS
20
125
other
10
Synthesis of Heap-Manipulating Programs from Separation Logic
smt scala hoare-logic separation-logic program-synthesis deductive-reasoning
Created 2017-08-22
1,308 commits to master branch, last one 2 years ago
DistributedComponents
disel DistributedComponents
7
98
bsd-2-clause
12
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
coq proof mathcomp ssreflect coq-library separation-logic two-phase-commit distributed-systems
Created 2016-11-18
198 commits to master branch, last one 8 months ago
imdea-software
htt imdea-software
5
74
apache-2.0
8
Hoare Type Theory
coq hoare-logic linked-list type-system hoare-monads separation-logic
Created 2014-03-23
193 commits to master branch, last one 4 days ago
utwente-fmt
vercors utwente-fmt
28
71
mpl-2.0
10
The VerCors verification toolset for verifying parallel and concurrent software
c java viper opencl openmp concurrency parallelism verification vercors-toolset separation-logic software-analysis
Created 2016-03-17
11,496 commits to dev branch, last one 2 days ago