Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Formal Methods packages

Showing projects tagged as Language and Formal Methods

  • hermit

    9.0 0.0 Haskell
    Haskell Equational Reasoning Model-to-Implementation Tunnel
  • improve

    8.4 0.0 Haskell
    An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
  • tptp

    3.5 0.0 Haskell
    Parser and pretty printer for the TPTP language
  • acl2

    2.6 0.0 Haskell
    Writing and calling ACL2 from Haskell.