Tag Archives: code generation

ImProving Formal Verification

We learned this week of ImProve, a lightweight DSL intended for building high assurance embedded applications. Developed by Tom Hawkins, the tool is an EDSL that performs formal verification (via. model checking) and code generation. The host language is Haskell; meaning ImProve programs are nothing more than Haskell programs that call the ImProve library [...]

Posted in Agile/Lean Programming, Certification | Also tagged | Leave a comment
  • Categories

  • Open-DO Projects

  • Contact

    info @ open-do.org