2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Daniel Basgöze, Kevin Batz, Sebastian Junges +1
Weakest pre-expectations are the probabilistic program analogue to weakest preconditions in classical programs. Deductive verification approaches aim to establish bounds on these q…