qin-yu/concurrent-separation-logic-soundness

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

Language: Isabelle - Size: 548 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0