Compositional Verification for Component-Based Systems and Application

DOI10.1007/978-3-540-88387-6_7MaRDI QIDQ3540064zbMATH OpenOpenAlexFDO

Authors Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen

Publication date 20 November 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-88387-6_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• VCS: a verifier for component-based systems
• Runtime verification of component-based systems
• Algebraic Methodology and Software Technology
• Checking deadlock-freedom of parametric component-based systems
• An Approach to Modelling and Verification of Component Based Systems

Cites work

• scientific article; zbMATH DE number 1701753 (Why is no real title available?)
• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 3938541 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• A Proof System for Communicating Sequential Processes
• Structural properties of petri nets
• The algorithmic analysis of hybrid systems

Cited in

(20)

• A framework for compositional verification of multi-valued systems via abstraction-refinement
• Checking deadlock-freedom of parametric component-based systems
• scientific article; zbMATH DE number 2089421 (Why is no real title available?)
• Building distributed controllers for systems with priorities
• Compositionality in state space verification methods
• Partial specifications and compositional verification
• Algebraic Methodology and Software Technology
• Verification of component-based systems with recursive architectures
• Rigorous development of component-based systems using component metadata and patterns
• scientific article; zbMATH DE number 2113972 (Why is no real title available?)
• An Approach to Modelling and Verification of Component Based Systems
• A compositional behavioral modeling framework for embedded system design and conformance checking
• Model-based construction and verification of critical systems using composition and partial refinement
• Compositional Verification and 3-Valued Abstractions Join Forces
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts
• Runtime verification of component-based systems
• A methodology for hardware verification using compositional model checking
• Building verification condition generators by compositional extension
• VCS: a verifier for component-based systems
• A Theory Agenda for Component-Based Design

Describes a project that uses

Uses Software

• Omega
• UNITY
• InVeSt
• D-Finder

This page was built for publication: Compositional Verification for Component-Based Systems and Application

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