Syntactic partial order compression for probabilistic reachability

DOI10.1007/978-3-030-11245-5_21OpenAlexW2909994498MaRDI QIDQ2287108

Gereon Fox, Holger Hermanns, Daniel Stan

Publication date: 23 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-11245-5_21

zbMATH Keywords

model checkingconcurrencyatomicitypartial order reductionstate space explosioninterleavings

Mathematics Subject Classification ID

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

Related Items (1)

A Theory of Distributed Markov Chains

This page was built for publication: Syntactic partial order compression for probabilistic reachability