/concurrent-separation-logic-soundness

2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)

Primary LanguageIsabelle

No issues in this repository yet.