All Categories → No Category → separation-logic

Top 3 separation-logic open source projects

The VerCors verification toolset for verifying parallel and concurrent software

✭ 30

java scala ANTLR haskell python c opencl concurrency openmp verification viper parallelism software-analysis separation-logic vercors-toolset

Synthesis of Heap-Manipulating Programs from Separation Logic

✭ 107

scala python typescript CSS javascript Dockerfile program-synthesis smt hoare-logic separation-logic deductive-reasoning

Partial Commutative Monoids

✭ 20

Coq Makefile coq concurrency separation-logic coq-library partial-commutative-monoid

1-3 of 3 separation-logic projects