Runtime verification with minimal intrusion through parallelism

DOI10.1007/S10703-015-0226-3MaRDI QIDQ888419zbMATH OpenOpenAlexFDO

Authors Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister

Publication date 30 October 2015

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-015-0226-3

zbMATH Keywords

formal methodsparallel algorithmstemporal logicruntime monitoring

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10)

Recommendations

• Time-triggered runtime verification
• A brief account of runtime verification
• Runtime verification past experiences and future projections
• Runtime verification monitor construction for three-valued PPTL
• Symbolic runtime verification for monitoring under uncertainties and assumptions

Cites work

• scientific article; zbMATH DE number 2102704 (Why is no real title available?)
• On Parallel Implementations of Deterministic Finite Automata
• Scalable offline monitoring of temporal specifications
• Time-triggered runtime verification
• Tools and Algorithms for the Construction and Analysis of Systems
• \textsc{InterAspect}: aspect-oriented instrumentation with GCC

Cited in

(7)

• Opportunistic monitoring of multithreaded programs
• A theory of monitors
• Going beyond dual execution: MPC for functions with efficient verification
• Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
• Consistently-detecting monitors
• On the complexity of determinizing monitors
• Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

Describes a project that uses

Uses Software

• Java-MOP
• Clara
• RiTHM

This page was built for publication: Runtime verification with minimal intrusion through parallelism

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