Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Publication:5717503
DOI10.1007/b12025zbMath1099.68652MaRDI QIDQ5717503
Holger Hermanns, Suzana Andova, Joost-Pieter Katoen
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12025
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking, Architecture-based resilience evaluation for self-adaptive systems, Runtime monitors for Markov decision processes, Performance analysis of probabilistic timed automata using digital clocks, Multiphase until formulas over Markov reward models: an algebraic approach, Computation tree measurement language (CTML), Verification of multiplayer stochastic games via abstract dependency graphs, Multi-cost bounded tradeoff analysis in MDP, Automatic verification of competitive stochastic systems, Cost vs. time in stochastic games and Markov automata, Ratio and Weight Quantiles, Model Checking Exact Cost for Attack Scenarios, Weighted versus Probabilistic Logics