Tolerange Tool

Tolerange is an automated tool for measuring the level of masking fault-tolerance of a stochastic system. Tolerange takes as input a nominal model and its fault-tolerant implementation model written in Prism-like notation, and produces as output the expected accumulated milestones that the implementation is able to preserve for the considered faults, this is a value in the interval [0, infinity).