4 results found Sort:
Synthesis of Heap-Manipulating Programs from Separation Logic
Created
2017-08-22
1,308 commits to master branch, last one 2 years ago
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
Hoare Type Theory
Created
2014-03-23
187 commits to master branch, last one about a month ago
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