×

Found 9 Documents (Results 1–9)

ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM. (English) Zbl 1459.68122

Jain, Rahul (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9076, 400-412 (2015).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

On abstraction of probabilistic systems. (English) Zbl 1426.68167

Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 87-116 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

An inductive technique for parameterised model checking of degenerative distributed randomised protocols. (English) Zbl 1339.68167

Goldsmith, Michael (ed.) et al., Proceedings of the 7th international workshop on automated verification of critical systems (AVoCS 2007), Oxford, UK, September 10–12, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 1, 87-103 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software