News Release 08-022
Model Checking Pioneers Receive Turing Award, Most Prestigious in Computing
Researchers created technique used in range of everyday tasks
Back to article | Note about images
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