×

Found 8 Documents (Results 1–8)

Farkas certificates and minimal witnesses for probabilistic reachability constraints. (English) Zbl 1507.68187

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 324-345 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verification of randomized consensus algorithms under round-rigid adversaries. (English) Zbl 07649941

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 33, 15 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Certified impossibility results and analyses in Coq of some randomised distributed algorithms. (English) Zbl 1482.68282

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 69-81 (2016).
PDFBibTeX XMLCite
Full Text: DOI

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

Using bounded model checking to verify consensus algorithms. (English) Zbl 1161.68586

Taubenfeld, Gadi (ed.), Distributed computing. 22nd international symposium, DISC 2008, Arcachon, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87778-3/pbk). Lecture Notes in Computer Science 5218, 466-480 (2008).
MSC:  68Q60 68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software