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

https://github.com/jozefg/concurrent-stack-with-helping

A case study in Iris formalizing a concurrent stack with helping.
https://github.com/jozefg/concurrent-stack-with-helping

Last synced: 3 months ago
JSON representation

A case study in Iris formalizing a concurrent stack with helping.

Awesome Lists containing this project

README

        

## concurrent-stack-with-helping

A case study in using Iris 3.0 to verify a complex, lock-free
concurrent data-structure. The corresponding Coq code may be found in
`code/` and the write-up is in `tex/`.