detectEr

April 6, 2022 ยท View on GitHub

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