concurrent-separation-logic
There are 1 repositories under concurrent-separation-logic topic.
qin-yu/concurrent-separation-logic-soundness
2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)
There are 1 repositories under concurrent-separation-logic topic.
2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)