Runtime verification past experiences and future projections

DOI10.1007/978-3-319-91908-9_25MaRDI QIDQ2075784zbMATH OpenOpenAlexFDO

Authors Klaus Havelund, Giles Reger, Grigore Roşu

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

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

Recommendations

• A brief account of runtime verification
• Runtime verification logics. A language design perspective
• Introduction to the special issue on runtime verification
• Introduction to the special issue on runtime verification
• A survey of challenges for runtime verification from advanced application domains (beyond software)

Cited in

(22)

• Refining the safety-liveness classification of temporal properties according to monitorability
• Collaborative runtime verification with tracematches
• Uncertainty in runtime verification: a survey
• Verification, Model Checking, and Abstract Interpretation
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Symbolic runtime verification for monitoring under uncertainties and assumptions
• Runtime verification with minimal intrusion through parallelism
• Runtime verification based on register automata
• Runtime verification for dynamic architectures
• Runtime verification logics. A language design perspective
• Panellist position statement: some industrial experience with program verification
• Runtime verification through forward chaining
• A brief account of runtime verification
• A Context-Free Symbiosis of Runtime Verification and Automata Learning
• Dynamic interval analysis by abstract interpretation
• Runtime Verification: Passing on the Baton
• Time-triggered runtime verification
• A normalized form for FIFO protocols traces, application to the replay of mode-based protocols
• Incrementally predictive runtime verification
• Runtime verification of component-based systems
• Introduction to the special issue on runtime verification
• Introduction to the special issue on runtime verification

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

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