Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter downFormal Methods packages
Showing projects tagged as Language and Formal Methods
-
improve
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.