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

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)

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

(13)

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

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)