RTLola High-level Intermediate Representation

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:

• Main Crate: The RTLola front-end: rtlola-frontend
• A parser for RTLola specifications: rtlola-parser
• The RTLola error reporting: rtlola-reporting
• Procedural macros: rtlola-macros

Copyright

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