Model checking concurrent programs with nondeterminism and randomization

DOI10.4230/LIPIcs.FSTTCS.2010.364zbMath1245.68132OpenAlexW2117091339MaRDI QIDQ2908866

No author found.

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_b84b.html

zbMATH Keywords

model-checkingprobabilistic programlocally Markovian schedulerview consistent scheduler

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)

Related Items (2)

Modular verification of protocol equivalence in the presence of randomness ⋮ Partial-Observation Stochastic Games

This page was built for publication: Model checking concurrent programs with nondeterminism and randomization