Runtime verification of component-based systems

DOI10.1007/978-3-642-24690-6_15MaRDI QIDQ3095241zbMATH OpenOpenAlexFDO

Authors Yliès Falcone, Mohamad Y. Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

Publication date 28 October 2011

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24690-6_15

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• VCS: a verifier for component-based systems
• Compositional Verification for Component-Based Systems and Application
• A brief account of runtime verification
• Runtime verification past experiences and future projections
• Introduction to the special issue on runtime verification

Cites work

• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• A Notion of Glue Expressiveness for Component-Based Systems
• Bounded model checking using satisfiability solving
• Comparing LTL semantics for runtime verification
• Compositional Verification for Component-Based Systems and Application
• Symbolic model checking: \(10^{20}\) states and beyond

Cited in

(10)

• Decentralized runtime verification of message sequences in message-based systems
• Synthesising correct concurrent runtime monitors
• VCS: a verifier for component-based systems
• Algebraic Methodology and Software Technology
• Bridging the gap between single- and multi-model predictive runtime verification
• Statistical model checking of stochastic component-based systems
• Compositional Verification for Component-Based Systems and Application
• Assumption-based runtime verification
• Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
• Runtime verification of embedded real-time systems

Describes a project that uses

Uses Software

• CESAR
• Clara

This page was built for publication: Runtime verification of component-based systems

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