On-the-fly probabilistic model checking

MaRDI QIDQ5216078zbMATH OpenFDO

Authors Michele Loreti, Diego Latella, Mieke Massink

Publication date 14 February 2020

Full work available at URL https://arxiv.org/abs/1410.7469, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2014.6

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)

Recommendations

• On-the-fly fast mean-field model-checking
• Symbolic model checking for probabilistic processes
• Model checking of probabilistic and nondeterministic systems
• Model checking probabilistic systems
• A space-efficient on-the-fly algorithm for real-time model checking

Cited in

(8)

• On probabilistic monitorability
• Trade-off analysis meets probabilistic model checking
• Constraint-based debugging in probabilistic model checking
• On-the-fly fast mean-field model-checking
• Design and optimisation of the FlyFast front-end for attribute-based coordination
• A space-efficient on-the-fly algorithm for real-time model checking
• Bounded rational search for on-the-fly model checking of LTL properties
• On-the-fly model checking for extended action-based probabilistic operators

This page was built for publication: On-the-fly probabilistic model checking

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