4 results found Sort:

20
125
other
11
Synthesis of Heap-Manipulating Programs from Separation Logic
Created 2017-08-22
1,308 commits to master branch, last one 2 years ago
7
95
bsd-2-clause
13
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Created 2016-11-18
198 commits to master branch, last one 3 months ago
5
69
apache-2.0
8
Hoare Type Theory
Created 2014-03-23
187 commits to master branch, last one about a month ago
26
56
mpl-2.0
11
The VerCors verification toolset for verifying parallel and concurrent software
Created 2016-03-17
11,222 commits to dev branch, last one 19 hours ago