soundness-proof

Here are 3 public repositories matching this topic...

Sturdy is a library for developing sound static analyses in Haskell.

Analysis of variables that influence debt.

data corruption country economy data-analysis debt rent worldbank ironhack imf solvency soundness-proof

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

semantic proof logic isabelle-hol csl concurrent-separation-logic soundness-proof

Add a description, image, and links to the soundness-proof topic page so that developers can more easily learn about it.

To associate your repository with the soundness-proof topic, visit your repo's landing page and select "manage topics."