tomahawkins / improveLinks
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
☆57Updated 13 years ago
Alternatives and similar repositories for improve
Users that are interested in improve are comparing it to the libraries listed below
Sorting: