Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking

DOI10.1007/978-3-319-66335-7_14zbMath1420.68127OpenAlexW2744826141WikidataQ98283356 ScholiaQ98283356MaRDI QIDQ5194932

No author found.

Publication date: 17 September 2019

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66335-7_14

Mathematics Subject Classification ID

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 (2)

Incremental Verification of Parametric and Reconfigurable Markov Chains ⋮ Multi-scale verification of distributed synchronisation

This page was built for publication: Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking