The field of model checking has evolved into a fundamental technique for verifying the correctness of software and hardware systems. At its core, model checking systematically explores the state space ...

Several transformations have been suggested for proportions x. Most of these require that 0 < x < 1 and therefore fail when x = 0 or x = 1, which is quite common in practice. The paper proposes a ...