swMATH13123MaRDI QIDQ25040FDOQ25040
Author name not available (Why is that?)
Official website: http://vst.cs.princeton.edu/msl/
Cited In (8)
- Barriers in concurrent separation logic: now with tool support!
- Time bounds for general function pointers
- Barriers in Concurrent Separation Logic
- pthreads
- VeriSmall
- Rtac
- Step-indexed Kripke models over recursive worlds
- ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages
This page was built for software: Mechanized Semantic Library
