#

unitb

Here are 8 public repositories matching this topic...

unitb / unitb-semantics

Proof of soundness of the Unit-B refinement calculus

theorem-proving verification unitb

Updated Jan 25, 2018
Lean

unitb / literate-unitb

[INACTIVE] Development continued in literate-unitb-complete

verification unitb

Updated Jun 25, 2017
Haskell

unitb / literate-unitb-logic

verification theorem-prover unitb

Updated Jun 25, 2017
Haskell

unitb / literate-unitb-config

unitb

Updated Apr 17, 2017
Haskell

unitb / literate-unitb-complete

Verifier for Unit-B -- Alpha-stage software. Please don't post to HN or Reddit

verification unitb

Updated Aug 24, 2017
Haskell

unitb / literate-unitb-scripts

unitb

Updated Apr 17, 2017
Haskell

unitb / literate-unitb-utils

unitb

Updated Apr 17, 2017
Haskell

unitb / literate-unitb-latex

unitb

Updated Apr 17, 2017
Haskell

Add this topic to your repo

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