Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with logical-atomicity

A curated list of projects in awesome lists tagged with logical-atomicity .

https://github.com/sr-lab/iris-jellyfish

Extension of atomic triples in Iris with atomic postconditions and formal verification of the Lazy JellyFish skip list

concurrent-data-structure coq formal-verification logical-atomicity

Last synced: 27 Sep 2024