Journal Paper in FMSD

The paper entitled “The Probabilistic Termination Tool Amber” by Ezio Bartocci, Marcel Moosbrugger, Joost-Pieter Katoen and Laura Kovacs has been accepted in a special issue devoted to the Formal Methods Symposium 2021 in the journal Formal Methods in System Design. The paper describes a tool that can automatically check whether a probabilistic program (of a particular shape) is (positive) almost surely terminating, or not.