rtlola-frontend (cargo): A frontend for the RTLola runtime verification framework.
Keywords: frontend|analyzer|monitoring|parser|verification