Abstraction of Probabilistic Systems

DOI10.1007/978-3-540-75454-1_1MaRDI QIDQ3510828zbMATH OpenOpenAlexFDO

Authors Joost-Pieter Katoen

Publication date 3 July 2008

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-75454-1_1

Mathematics Subject Classification ID

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

Recommendations

• On Abstraction of Probabilistic Systems
• Abstraction, Refinement and Proof for Probabilistic Systems
• On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
• Validation of Stochastic Systems
• scientific article; zbMATH DE number 1701760
• Abstraction Refinement for Probabilistic Software
• Probabilistic abstract interpretation
• Three-valued abstraction for probabilistic systems

Cited in

(13)

• Towards light-weight probabilistic model checking
• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• On Abstraction of Probabilistic Systems
• Model checking probabilistic systems
• Abstraction for Stochastic Systems by Erlang’s Method of Stages
• Evaluating probabilistic model checking tools for verification of robot control policies
• The probabilistic model checking landscape
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• Probabilistic model checking on HPC systems for the performance analysis of mobile networks
• Abstraction-Refinement for Hierarchical Probabilistic Models
• On the use of model and logical embeddings for model checking of probabilistic systems
• Correct probabilistic model checking with floating-point arithmetic
• Ontology-mediated probabilistic model checking

Describes a project that uses

Uses Software

• PRISM
• MRMC

This page was built for publication: Abstraction of Probabilistic Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510828)