Abstract: The article explores a new method of synthesis concurrent error-detection circuits of digital automation devices and computing. The authors proposed using the properties of modular ...

Abstract: To ensure the software quality, testing methods aim at both targets of achieving high code coverage and error detection capability. Among various testing ...