Abstraction Refinement for Probabilistic Software
From MaRDI portal
Publication:3600474
DOI10.1007/978-3-540-93900-9_17zbMath1206.68090MaRDI QIDQ3600474
No author found.
Publication date: 10 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-93900-9_17
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
A game-based abstraction-refinement framework for Markov decision processes, A linear process-algebraic format with data for probabilistic automata, Abstract model repair for probabilistic systems, Model checking Markov population models by stochastic approximations, Model checking single agent behaviours by fluid approximation, Local abstraction refinement for probabilistic timed programs, Model checking for performability, Model Checking Probabilistic Systems, Compositional Abstraction for Stochastic Systems, Stochastic Games for Verification of Probabilistic Timed Automata
Uses Software