10 releases

new 0.3.2 Jun 28, 2024
0.3.1 Feb 2, 2023
0.3.0 Dec 19, 2022
0.2.1 Apr 11, 2022
0.1.2 May 28, 2021

#28 in #frontend

Download history 12/week @ 2024-03-13 8/week @ 2024-03-20 21/week @ 2024-03-27 31/week @ 2024-04-03 3/week @ 2024-04-10 2/week @ 2024-04-17 6/week @ 2024-04-24 1/week @ 2024-05-01 7/week @ 2024-05-08 4/week @ 2024-05-15 5/week @ 2024-05-22 13/week @ 2024-05-29 5/week @ 2024-06-05 4/week @ 2024-06-12 4/week @ 2024-06-19 167/week @ 2024-06-26

180 downloads per month
Used in 8 crates (2 directly)

Apache-2.0

245KB
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-24. 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

~4–13MB
~137K SLoC