Others use SMT to provide redundant computation, for some level of error detection and recovery.
Ďalší používajú SMT na poskytovanie prebytočného výpočtu, pre niektoré úrovne detekcie chýb a ich odstránenie.