Repository navigation

detecter

Public

About

A runtime verification tool for Erlang systems

duncanatt.github.io/detecter

runtime-verification

GPL-3.0 license

16 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
detecter		detecter
examples		examples
tutorial		tutorial
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

detectEr

A runtime verification tool for monitoring asynchronous component systems.

Follow the official tutorial page to learn more!

Releases

COORDINATION 2020 artifact evaluation

About

A runtime verification tool for Erlang systems

duncanatt.github.io/detecter

runtime-verification

GPL-3.0 license

16 stars

2 watching

Report repository

Used by

Contributors

Languages