Mechanized Semantic Library
From MaRDI portal
Software:25040
No author found.
Related Items (5)
Barriers in Concurrent Separation Logic: Now With Tool Support! ⋮ Time Bounds for General Function Pointers ⋮ ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages ⋮ Barriers in Concurrent Separation Logic ⋮ Step-indexed kripke models over recursive worlds
This page was built for software: Mechanized Semantic Library