soundness-proof

There are 3 repositories under soundness-proof topic.

svenkeidel/sturdy
Sturdy is a library for developing sound static analyses in Haskell.
Language:Pascal60 5 85
Juanlacalle/Project-DEBT
Analysis of variables that influence debt.
Language:Jupyter Notebook1 2 01
qin-yu/concurrent-separation-logic-soundness
2017 [Isabelle2016-1] soundness proof for concurrent separation logic (CSL)
Language:Isabelle1 0