Written by two leading experts and two successful former PhD students this work describes new
methods of concurrent checking such as partial duplication use of output dependencies
complementary circuits self-dual parity self-dual duplication and others.
