ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs

02/04/2008 - Researchers Created Model Checking Technique for Hardware and Software Designers Read more
Subscribe to Topic: model checking