9 releases

0.3.1 Feb 2, 2023
0.3.0 Dec 19, 2022
0.2.1 Apr 11, 2022
0.2.0 Nov 15, 2021
0.1.0 Apr 8, 2021

#14 in #verification

Download history 75/week @ 2023-01-28 53/week @ 2023-02-04 32/week @ 2023-02-11 78/week @ 2023-02-18 36/week @ 2023-02-25 31/week @ 2023-03-04 5/week @ 2023-03-11 19/week @ 2023-03-18 6/week @ 2023-03-25 24/week @ 2023-04-01 16/week @ 2023-04-08 12/week @ 2023-04-15 5/week @ 2023-04-22 43/week @ 2023-04-29 35/week @ 2023-05-06 9/week @ 2023-05-13

92 downloads per month
Used in 6 crates (2 directly)

Apache-2.0

220KB
4.5K SLoC

RTLola Parser

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: Jan Baumeister, Florian Kohn, Stefan Oswald, 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

~4.5MB
~92K SLoC