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