A runtime verification tool for monitoring asynchronous component systems.
Follow the official tutorial page to learn more!
COORDINATION 2020 artifact evaluation
A runtime verification tool for Erlang systems
A runtime verification tool for monitoring asynchronous component systems.
Follow the official tutorial page to learn more!
COORDINATION 2020 artifact evaluationA runtime verification tool for Erlang systems
https://duncanatt.github.io/detecter
GNU General Public License v3.0