Runtime Verification of Component-Based Systems

DOI10.1007/978-3-642-24690-6_15zbMath1350.68060OpenAlexW38701583MaRDI QIDQ3095241

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

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

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

Related Items (5)

Synthesising correct concurrent runtime monitors ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation ⋮ Statistical model checking of stochastic component-based systems ⋮ Bridging the gap between single- and multi-model predictive runtime verification

Uses Software

• CESAR
• Clara

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Compositional Verification for Component-Based Systems and Application
• A Notion of Glue Expressiveness for Component-Based Systems
• Comparing LTL Semantics for Runtime Verification
• Bounded model checking using satisfiability solving
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Runtime Verification of Component-Based Systems