Approximate verification of probabilistic systems

DOI10.1007/3-540-45605-8_16MaRDI QIDQ4813209zbMATH OpenFDO

Authors Sylvain Peyronnet, Richard Lassaigne

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cited in

(3)

• Probabilistic verification and approximation
• Statistical probabilistic model checking with a focus on time-bounded properties
• Model checking probabilistic systems

This page was built for publication: Approximate verification of probabilistic systems

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