10 releases
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 |
#25 in #analyzer
84 downloads per month
Used in 8 crates
(2 directly)
245KB
5K
SLoC
RTLola Parser
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
- The RTLola high-level intermediate representation including a strong static analysis: rtlola-hir
- The RTLola error reporting: rtlola-reporting
- Procedural macros: rtlola-macros
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
~5–12MB
~146K SLoC