TeSSLa: temporal stream-based specification language

DOI10.1007/978-3-030-03044-5_10zbMath1519.68130arXiv1808.10717OpenAlexW2888811801MaRDI QIDQ6165893

Martin Leucker, Torben Scheffel, Malte Schmitz, Lukas Convent, Sebastian Hungerecker, Daniel Thoma

Publication date: 2 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.10717

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Symbolic runtime verification for monitoring under uncertainties and assumptions ⋮ Runtime verification of real-time event streams using the tool HStriver ⋮ Multi-head Monitoring of Metric Temporal Logic

This page was built for publication: TeSSLa: temporal stream-based specification language