Proof of soundness of the Unit-B refinement calculus
-
Updated
Jan 25, 2018 - Lean
#
unitb
Here are 8 public repositories matching this topic...
[INACTIVE] Development continued in literate-unitb-complete
-
Updated
Jun 25, 2017 - Haskell
-
Updated
Jun 25, 2017 - Haskell
Verifier for Unit-B -- Alpha-stage software. Please don't post to HN or Reddit
-
Updated
Aug 24, 2017 - Haskell
-
Updated
Apr 17, 2017 - Haskell
-
Updated
Apr 17, 2017 - Haskell
-
Updated
Apr 17, 2017 - Haskell
-
Updated
Apr 17, 2017 - Haskell
Improve this page
Add a description, image, and links to the unitb topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the unitb topic, visit your repo's landing page and select "manage topics."