Skip to content
@unitb

Unit-B

The Unit-B Formal Method

Pinned Loading

  1. literate-unitb-complete literate-unitb-complete Public

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

    Haskell 1 1

  2. unitb-semantics unitb-semantics Public

    Proof of soundness of the Unit-B refinement calculus

    Lean 3 1

  3. temporal-logic temporal-logic Public

    Lean 11 3

  4. unitb-pointers unitb-pointers Public

    Lean

Repositories

Showing 10 of 55 repositories