13 releases

0.6.1 Feb 2, 2023
0.6.0 Dec 19, 2022
0.5.3 Apr 12, 2022
0.5.0 Nov 16, 2021
0.3.3 Jul 22, 2020

#17 in #verification

Download history 57/week @ 2023-02-02 57/week @ 2023-02-09 88/week @ 2023-02-16 25/week @ 2023-02-23 16/week @ 2023-03-02 13/week @ 2023-03-09 14/week @ 2023-03-16 8/week @ 2023-03-23 20/week @ 2023-03-30 20/week @ 2023-04-06 19/week @ 2023-04-13 3/week @ 2023-04-20 24/week @ 2023-04-27 51/week @ 2023-05-04 11/week @ 2023-05-11 15/week @ 2023-05-18

103 downloads per month
Used in 4 crates

Apache-2.0

1MB
20K 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-2023. 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

~6.5MB
~134K SLoC