Selected TagsClick on a tag to remove it
More TagsClick on a tag to add it and filter down
Showing projects tagged as Formal Methods and Language
9.0 0.0 HaskellHaskell Equational Reasoning Model-to-Implementation Tunnel
8.4 0.0 HaskellAn imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
4.5 0.0 HaskellParser and pretty printer for the TPTP language
3.8 0.0 HaskellWriting and calling ACL2 from Haskell.