Runtime verification past experiences and future projections

DOI10.1007/978-3-319-91908-9_25zbMath1482.68140OpenAlexW2977364565MaRDI QIDQ2075784

Grigore Roşu, Klaus Havelund, Giles Reger

Publication date: 16 February 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-91908-9_25

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) History of computer science (68-03)

This page was built for publication: Runtime verification past experiences and future projections