Parameterized systems in BIP: design and model checking

DOI10.4230/LIPICS.CONCUR.2016.30zbMATH Open1392.68254OpenAlexW2415471432MaRDI QIDQ4608682FDOQ4608682

Authors:

Publication date: 21 March 2018

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

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

zbMATH Keywords

verificationBIPparameterized model checkingrigorous system design

Mathematics Subject Classification ID

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

Cited In (13)

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

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)