Runtime Verification: Passing on the Baton

DOI10.1007/978-3-030-87348-6_5MaRDI QIDQ6488339zbMATH OpenFDO

Authors Christian Colombo, Gordon J. Pace, Gerardo Schneider

Publication date 13 April 2023

Full work available at URL https://doi.org/10.1007/978-3-030-87348-6_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Derivatives of Regular Expressions
• scientific article; zbMATH DE number 1670567 (Why is no real title available?)
• scientific article; zbMATH DE number 1670568 (Why is no real title available?)
• scientific article; zbMATH DE number 2080059 (Why is no real title available?)
• Quantified event automata: towards expressive and efficient runtime monitors
• Rewriting-based runtime verification for alternation-free HyperLTL
• Runtime verification past experiences and future projections
• Safe runtime verification of real-time properties
• Safer asynchronous runtime monitoring using compensations
• Verification, Model Checking, and Abstract Interpretation
• Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

This page was built for publication: Runtime Verification: Passing on the Baton

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488339)