The Probabilistic Termination Tool Amber

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…