detectEr

A runtime verification tool for monitoring asynchronous component systems.

Follow the official tutorial page to learn more!

Releases

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