Skip to main content
Email Print Share

All Images


Press 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.

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