Formal verification of automatic circuit transformations for fault-tolerance | IEEE Conference Publication | IEEE Xplore