Skip to main content
Email Print Share

All Images


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.

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