Mechanized Semantic Library
From MaRDI portal
Cited in
(8)- Barriers in Concurrent Separation Logic
- Time bounds for general function pointers
- ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages
- Step-indexed Kripke models over recursive worlds
- pthreads
- VeriSmall
- Rtac
- Barriers in concurrent separation logic: now with tool support!
This page was built for software: Mechanized Semantic Library
