Measuring progress of probabilistic LTL model checking

MaRDI QIDQ5858723zbMATH OpenFDO

Authors Elise Cormie-Bowins, Franck van Breugel

Publication date 14 April 2021

Full work available at URL https://arxiv.org/abs/1207.0870, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2012.3

Mathematics Subject Classification ID

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

Recommendations

• A progress measure for explicit-state probabilistic model-checkers
• Model checking probabilistic systems
• Symbolic model checking for probabilistic processes
• Model checking of probabilistic and nondeterministic systems
• scientific article; zbMATH DE number 1507207

Cited in

(4)

• Accelerating SpMV multiplication in probabilistic model checkers using GPUs
• scientific article; zbMATH DE number 1884415 (Why is no real title available?)
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• A progress measure for explicit-state probabilistic model-checkers

This page was built for publication: Measuring progress of probabilistic LTL model checking

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