webmonitor-submission.zip (13.35 MB)

webmonitor-submission.zip

software

posted on 2022-05-07, 09:07 authored by Ennio ViscontiEnnio Visconti

The source code of the WebMonitor tool. Read the README.md files for instructions on reproducing the experiments. It is recommended to open the folder in Intellij IDEA for easier reproductions.

History

Usage metrics

Keywords

Formal methods monitoring spatio-temporal logic Applied Computer Science

Licence

CC BY 4.0

webmonitor-submission.zip

History

Usage metrics

Categories

Keywords

Licence

Exports