Comparing trace expressions and linear temporal logic for runtime verification

DOI10.1007/978-3-319-30734-3_6zbMath1475.68172OpenAlexW2346373674MaRDI QIDQ2026783

Viviana Mascardi, Davide Ancona, Angelo Ferrando

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (3)

Verifying autonomous systems ⋮ Bridging the gap between single- and multi-model predictive runtime verification ⋮ Unnamed Item

This page was built for publication: Comparing trace expressions and linear temporal logic for runtime verification