SAN JOSE, Calif. – January 27, 2003 – Today 0-In Design Automation, the Assertion-Based Verification Company, announced a new formal verification technology called “deep counterexample†(DCE) ...

An excellent introduction to logic (in all possible worlds), September 24, 2002, by Dr. Lee D. Carlson (Baltimore, Maryland USA) [Amazon.com] It is too bad this book is out of print, for the authors ...