/detecter

A runtime verification tool for Erlang systems

Primary LanguageErlangGNU General Public License v3.0GPL-3.0

GitHub Workflow Status GitHub last commit GitHub GitHub

GitHub issues GitHub closed issues

detectEr

A runtime verification tool for monitoring asynchronous component systems.

Follow the official tutorial page to learn more!

Releases

  • DOI COORDINATION 2020 artifact evaluation