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)

Journal Article

In: Journal of the ACM : JACM
Volume: 65
Issue: 5
Page(s)/Article-Nr.: 30:1-30:68


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]