Probabilistic abstraction for model checking

DOI10.1145/1276920.1276922zbMath1367.68197OpenAlexW2620748922MaRDI QIDQ5277785

Richard Lassaigne, Michel de Rougemont, Sylvain Peyronnet, Frédéric Magniez, Sophie Laplante

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1276920.1276922

zbMATH Keywords

model checkingproperty testingprobabilistic verificationapproximate verificationprobabilistic abstraction

Mathematics Subject Classification ID

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

Related Items (1)

Statistical model checking of stochastic component-based systems

This page was built for publication: Probabilistic abstraction for model checking