Fault Detection for Timed FSM with Timeouts by Constraint Solving

Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda

Recently, an efficient constraint solving-based approach has been developed to detect logical faults in systems specified with classical finite state machines (FSMs). The approach…