Verification of component-based systems with recursive architectures

DOI10.1016/J.TCS.2022.10.022MaRDI QIDQ2699967zbMATH OpenOpenAlexFDO

Authors Marius Bozga, Radu Iosif, Joseph Sifakis

Publication date 20 April 2023

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2112.08292

zbMATH Keywords

component-based distributed systemsparameterized verificationresource logic

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Formal specification and verification of dynamic parametrized architectures
• Checking deadlock-freedom of parametric component-based systems
• Checking deadlock-freedom of parametric component-based systems
• Compositional Verification for Component-Based Systems and Application
• An Approach to Modelling and Verification of Component Based Systems

Cites work

• An abstract decision procedure for a theory of inductive data types.
• Automata theory and its applications
• Configuration logics: modeling architecture styles
• Decidability of parameterized verification
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• Generalized finite automata theory with an application to a decision problem of second-order logic
• scientific article; zbMATH DE number 1927557 (Why is no real title available?)
• Parameterized systems in BIP: design and model checking
• Reasoning about networks with many identical finite state processes
• Reasoning about systems with many processes
• Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
• Resources, concurrency, and local reasoning
• Structural Invariants for the Verification of Systems with Parameterized Architectures
• Structural properties of petri nets
• Symbolic model checking with rich assertional languages
• Tree-Walking Automata

Cited in

(6)

• On the verification of architectural reconfigurations
• Applying Step Coverability Trees to Communicating Component-Based Systems
• Algebraic Methodology and Software Technology
• An Approach to Modelling and Verification of Component Based Systems
• Checking deadlock-freedom of parametric component-based systems
• Expressiveness results for an inductive logic of separated relations

Describes a project that uses

Uses Software

• MONA

This page was built for publication: Verification of component-based systems with recursive architectures

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