scientific article; zbMATH DE number 2090706

zbMATH Open1065.68593MaRDI QIDQ4813201FDOQ4813201

Authors: Michael Huth 

Publication date: 13 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990115.htm

Title of this publication is not available (Why is that?)

Recommendations

• On Abstraction of Probabilistic Systems
• Verification and refutation of probabilistic specifications via games
• Model Checking Software
• Validation of Stochastic Systems
• Model checking probabilistic systems

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)

Cited In (9)

• Constraint-based debugging in probabilistic model checking
• Abstraction and probabilities for hybrid logics
• Probabilistic abstraction for model checking: an approach based on property testing
• Quantitative abstraction refinement
• On finite-state approximants for probabilistic computation tree logic
• Model Checking Software
• Verification and refutation of probabilistic specifications via games
• Probabilistic model checking of biological systems with uncertain kinetic rates
• Validation of Stochastic Systems

This page was built for publication:

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