Publication:4798031
From MaRDI portal
zbMath1007.68131MaRDI QIDQ4798031
Henrik Ejersbo Jensen, Bertrand Jeannet, Kim Guldstrand Larsen, Pedro R. D'Argenio
Publication date: 18 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2165/21650039.htm
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
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation, Game-Based Probabilistic Predicate Abstraction in PRISM, Safety verification for probabilistic hybrid systems, Minimal counterexamples for linear-time probabilistic verification, Three-valued abstraction for probabilistic systems, A game-based abstraction-refinement framework for Markov decision processes, CEGAR for compositional analysis of qualitative properties in Markov decision processes, A linear process-algebraic format with data for probabilistic automata, Probabilistic model checking of biological systems with uncertain kinetic rates, Latticed \(k\)-induction with an application to probabilistic programs, On the use of MTBDDs for performability analysis and verification of stochastic systems., Abstract model repair for probabilistic systems, Reachability in parametric interval Markov chains using constraints, Algorithmic probabilistic game semantics. Playing games with automata, Statistical verification of PCTL using antithetic and stratified samples, Local abstraction refinement for probabilistic timed programs, On finite-state approximants for probabilistic computation tree logic, Least upper bounds for probability measures and their applications to abstractions, Analyzing Oscillatory Behavior with Formal Methods, On Abstraction of Probabilistic Systems, Are Parametric Markov Chains Monotonic?, Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates