Runtime verification of component-based systems
DOI10.1007/978-3-642-24690-6_15zbMATH Open1350.68060OpenAlexW38701583MaRDI QIDQ3095241FDOQ3095241
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
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Symbolic model checking: \(10^{20}\) states and beyond
- Title not available (Why is that?)
- Compositional Verification for Component-Based Systems and Application
- Title not available (Why is that?)
- Bounded model checking using satisfiability solving
- Title not available (Why is that?)
- Comparing LTL semantics for runtime verification
- A Notion of Glue Expressiveness for Component-Based Systems
Cited In (10)
- Decentralized runtime verification of message sequences in message-based systems
- Assumption-based runtime verification
- Statistical model checking of stochastic component-based systems
- Algebraic Methodology and Software Technology
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
- Synthesising correct concurrent runtime monitors
- Runtime verification of embedded real-time systems
- Compositional Verification for Component-Based Systems and Application
- Bridging the gap between single- and multi-model predictive runtime verification
- VCS: a verifier for component-based systems
Uses Software
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)
