Performance Model Checking Scenario-Aware Dataflow

DOI10.1007/978-3-642-24310-3_5zbMath1348.68151OpenAlexW176679999MaRDI QIDQ3172842

Bart Theelen, J. P. M. Voeten, Marc Geilen

Publication date: 7 October 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• PRISM
• MRMC
• Uppaal
• CADP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interactive Markov chains. And the quest for quantified quality
• Performance analysis of probabilistic timed automata using digital clocks
• Time-abstracted bisimulation: Implicit specifications and decidability
• Uppaal in a nutshell
• Finite state Markovian decision processes
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
• State-space support for path-based reward variables
• Performance evaluation with temporal rewards
• Integrated Formal Methods

This page was built for publication: Performance Model Checking Scenario-Aware Dataflow