Parameterized Systems in BIP: Design and Model Checking

DOI10.4230/LIPIcs.CONCUR.2016.30zbMath1392.68254OpenAlexW2415471432MaRDI QIDQ4608682

No author found.

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

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)

Related Items (6)

SMT-based generation of symbolic automata ⋮ Modelling Uncertainty in Architectures of Parametric Component-Based Systems ⋮ A methodology to take credit for high-level verification during RTL verification ⋮ Verification of component-based systems with recursive architectures ⋮ Formal specification and verification of dynamic parametrized architectures ⋮ Decision problems in a logic for reasoning about reconfigurable distributed systems

This page was built for publication: Parameterized Systems in BIP: Design and Model Checking