qin-yu/concurrent-separation-logic-soundness
2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)
Isabelle
No issues in this repository yet.
2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)
Isabelle
No issues in this repository yet.