scientific article; zbMATH DE number 1884411

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints ⋮ Latticed \(k\)-induction with an application to probabilistic programs ⋮ Least upper bounds for probability measures and their applications to abstractions ⋮ A game-based abstraction-refinement framework for Markov decision processes ⋮ Analyzing Oscillatory Behavior with Formal Methods ⋮ On Abstraction of Probabilistic Systems ⋮ Safety verification for probabilistic hybrid systems ⋮ Minimal counterexamples for linear-time probabilistic verification ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ On the use of MTBDDs for performability analysis and verification of stochastic systems. ⋮ Generating probabilistic safety guarantees for neural network controllers ⋮ Abstract model repair for probabilistic systems ⋮ Three-valued abstraction for probabilistic systems ⋮ Local abstraction refinement for probabilistic timed programs ⋮ Are Parametric Markov Chains Monotonic? ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ Algorithmic probabilistic game semantics. Playing games with automata ⋮ Game-Based Probabilistic Predicate Abstraction in PRISM ⋮ Reachability in parametric interval Markov chains using constraints ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes ⋮ Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ Probabilistic model checking of biological systems with uncertain kinetic rates ⋮ Statistical verification of PCTL using antithetic and stratified samples ⋮ On finite-state approximants for probabilistic computation tree logic

This page was built for publication: