News Release 08-022
Model Checking Pioneers Receive Turing Award, Most Prestigious in Computing
Researchers created technique used in range of everyday tasks
This material is available primarily for archival purposes. Telephone numbers or other contact information may be out of date; please see current contact information at media contacts.
Image of a printed circuit similar to those used in modern electronics. Model checking, a system for checking the accuracy and reliability of computers and software, has made it possible to create more advanced computer-aided devices that we can depend on in our day-to-day lives.
Credit: Copyright 2008 JupiterImages Corporation