text-only page produced automatically by LIFT Text Transcoder Skip all navigation and go to page contentSkip top navigation and go to directorate navigationSkip top navigation and go to page navigation
National Science Foundation
News
design element
News
News From the Field
For the News Media
Special Reports
Research Overviews
NSF-Wide Investments
Speeches & Lectures
NSF Current Newsletter
Multimedia Gallery
News Archive
News by Research Area
Arctic & Antarctic
Astronomy & Space
Biology
Chemistry & Materials
Computing
Earth & Environment
Education
Engineering
Mathematics
Nanoscience
People & Society
Physics
 

Email this pagePrint this page
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

 



Email this pagePrint this page
Back to Top of page