5 releases

0.2.2 Feb 2, 2023
0.2.1 Apr 11, 2022
0.2.0 Nov 15, 2021
0.1.1 Aug 3, 2021
0.1.0 Apr 8, 2021

#4 in #reporting

Download history 45/week @ 2023-08-12 25/week @ 2023-08-19 21/week @ 2023-08-26 28/week @ 2023-09-02 48/week @ 2023-09-09 26/week @ 2023-09-16 16/week @ 2023-09-23 40/week @ 2023-09-30 26/week @ 2023-10-07 36/week @ 2023-10-14 33/week @ 2023-10-21 43/week @ 2023-10-28 31/week @ 2023-11-04 35/week @ 2023-11-11 37/week @ 2023-11-18 50/week @ 2023-11-25

155 downloads per month
Used in 7 crates (3 directly)

Apache-2.0

21KB
406 lines

RTLola Reporting

Crate API License

RTLola is a stream-based runtime verification framework. It parses an RTLola specification, analyses it, and generates executable monitors for it. The framework is separated into a front-end and several back-ends.

This crate is part of the RTLola front-end, which includes several sub-modules:

Copyright

Copyright (C) CISPA - Helmholtz Center for Information Security 2021-23. Authors: Florian Kohn, Maximilian Schwenger. Based on original work at Universität des Saarlandes (C) 2020. Authors: Jan Baumeister, Florian Kohn, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, and Leander Tentrup.

Dependencies

~2.2–3MB
~60K SLoC