|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
103 downloads per month
Used in 4 crates
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:
- A parser for RTLola specifications: rtlola-parser
- The RTLola high-level intermediate representation including a strong static analysis: rtlola-hir
- The RTLola error reporting: rtlola-reporting
- Procedural macros: rtlola-macros
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.