79 citations · 87 across the 10 of their papers we have counts for
1 paper · 2 filters
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen +1
We describe the Amber tool for proving and refuting the termination of a class of probabilistic while-programs with polynomial arithmetic, in a fully automated manner. Amber combin…