improve (hackage): An imperative programming language in Haskell for high assurance embedded applications.  ImProve programs are verified with model checking.  ImProve compiles to C and Simulink.
Keywords: bsd3|embedded|formal-methods|language|library