Parameterized systems in BIP: design and model checking

DOI10.4230/LIPICS.CONCUR.2016.30MaRDI QIDQ4608682zbMATH OpenOpenAlexFDO

Authors

Publication date 21 March 2018

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.30

zbMATH Keywords

BIPparameterized model checkingrigorous system designverification

Mathematics Subject Classification ID

Logic in computer science (03B70) 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

• Symbolic implementation of connectors in BIP
• scientific article; zbMATH DE number 7440178
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
• Model construction and priority synthesis for simple interaction systems
• VCS: a verifier for component-based systems

Cited in

(14)

• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework
• A methodology to take credit for high-level verification during RTL verification
• A framework for automated distributed implementation of component-based models
• Formal specification and verification of dynamic parametrized architectures
• Decision problems in a logic for reasoning about reconfigurable distributed systems
• SMT-based generation of symbolic automata
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
• Verification of component-based systems with recursive architectures
• Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs
• Model construction and priority synthesis for simple interaction systems
• Extended transition systems for parametric bisimulation
• Symbolic implementation of connectors in BIP
• Modelling Uncertainty in Architectures of Parametric Component-Based Systems
• An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems

This page was built for publication: Parameterized systems in BIP: design and model checking

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