14 releases

0.7.0 Jun 28, 2024
0.6.1 Feb 2, 2023
0.6.0 Dec 19, 2022
0.5.3 Apr 12, 2022
0.3.3 Jul 22, 2020

#13 in #frontend

Download history 9/week @ 2024-03-13 10/week @ 2024-03-27 27/week @ 2024-04-03 2/week @ 2024-05-08 2/week @ 2024-05-22 5/week @ 2024-05-29 2/week @ 2024-06-05 2/week @ 2024-06-12 2/week @ 2024-06-19 151/week @ 2024-06-26

157 downloads per month
Used in 6 crates (3 directly)

Apache-2.0

1MB
23K SLoC

RTLola Frontend

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 summarizes the entire RTLola front-end, which includes several sub-modules:

Copyright

Copyright (C) CISPA - Helmholtz Center for Information Security 2021-2024. Authors: Jan Baumeister, Florian Kohn, Stefan Oswald, Frederik Scheerer, Malte Schledjewski, 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

~7–17MB
~193K SLoC