Sign in
Ctrl K

RTLola Interpreter

An interpreter for RTLola specifications

4
contributors
Get started
985 commitsLast commit ≈ 4 months ago2 stars1 fork

Cite this software

DOI:

10.5281/zenodo.12633783

Description

This software provides an interpretation to evaluate RTLola specifications.
It consists of a core interpreter library, a ready to use command line interface, and a user friendly API with corresponding macros.

Logo of RTLola Interpreter
Keywords
Formal Methods
Interpreter
monitoring
Runtime Verification
Programming languages
  • Rust 98%
  • Python 2%
License
</>Source code
Packages
crates.io
crates.io
crates.io
crates.io

Participating organisations

CISPA Helmholtz Center for Information Security

Contributors

Jan Eric Baumeister
Jan Eric Baumeister
Author/Developer/Maintainer
CISPA Helmholtz Center for Information Security
FK
Florian Kohn
Author/Developer/Maintainer
CISPA Helmholtz-Zentrum für Informationssicherheit gGmbH
FS
Frederik Scheerer
Author/Developer/Maintainer
Helmholtz Center for Information Security
BF
Bernd Finkbeiner
Group Supervisor
CISPA Helmholtz Center for Information Security

Related projects

RTLola

RTLola is a real-time monitoring toolkit for cyber-physical systems and networks

Updated 10 months ago

Related software

RTLola Frontend

RT

A frontend to parse and analyze RTLola specifications

Updated 10 months ago
4