Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms

Kaminski, Benjamin Lucien (Corresponding author); Katoen, Joost-Pieter (Corresponding author); Matheja, Christoph (Corresponding author); Olmedo, Federico (Corresponding author)

(2018)
Fachzeitschriftenartikel

In: Journal of the ACM : JACM
Band: 65
Heft: 5
Seite(n)/Artikel-Nr.: 30:1-30:68

Einrichtungen

• Graduiertenkolleg UnRAVeL [080060]
• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]