/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 73

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 73
" /> /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 78

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 78
" /> KIT - Application-oriented Formal Verification - Companion page for Runtime Verification of Generalized Test Tables (NFM'2021)

Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification

Companion page

Runtime Verification of Generalized Test Tables
Alexander~Weigl, Mattias Ulbrich, Shmuel Tyszberowicz, and Jonas Klamroth

File for Experiments

all experiments related
contains the test table files, Makefiles for generation and compilation of the monitors, and the generated and compileable C++ sources for all three examples of the paper
Link to the source code of the tool
Link to the tool documentation

Acknowledgements

This work was funded by German Research Council (BE~2334/7-2, VO~937/28-2, and UL~433/1-2), the state Baden-Wuerttemberg via CyberProtect project, and the KIT KHYS Visiting Grant.