[Haskell-cafe] [ANN] Copilot 3.4 - hard realtime C runtime verification

Frank Dedden frank at dedden.net
Thu Jul 8 17:01:16 UTC 2021

Dear all,

We are pleased to announce the release of Copilot 3.4, a stream-based DSL for
writing and monitoring embedded C programs, with an emphasis on correctness and
hard realtime requirements. Copilot is typically used as a high-level runtime
verification framework, and supports temporal logic (LTL, PTLTL and MTL),
clocks and voting algorithms.

Among others, Copilot has been used at the Safety Critical Avionics Systems
Branch of NASA Langley Research Center for monitoring test flights of drones.

This release introduces a number of bug fixes and deprecates functions that
have been superseded.

The newest release is available on hackage [1]. For more information, including
documentation, examples and links to the source code, please visit the webpage

Current emphasis is on facilitating the use with other systems, and improving
the codebase in terms of stability and test coverage. Users are encouraged to
participate by opening issues and asking questions via our github repo [3].

Kind regards,

The Copilot developers:

- Frank Dedden
- Alwyn Goodloe
- Ivan Perez

[1] https://hackage.haskell.org/package/copilot
[2] https://copilot-language.github.io
[3] https://github.com/Copilot-Language/copilot

More information about the Haskell-Cafe mailing list