Search Results - RepositoryStats

20

126

other

11

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

7

96

bsd-2-clause

13

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 5 months ago

5

70

apache-2.0

8

Hoare Type Theory

coq hoare-logic linked-list type-system hoare-monads separation-logic

Created 2014-03-23

189 commits to master branch, last one 5 days ago

26

61

mpl-2.0

11

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,255 commits to dev branch, last one 5 days ago