Skip to content

Biting the hand that feeds IT

The Register ®

Science:


Related Whitepapers

[Print][Mobile][Alerts]

Model checkers get Turing Prize

Medals and money...

Published Tuesday 5th February 2008 10:09 GMT

The Association of Computing Machinery has awarded the $250,000 A.M Turing Prize to three men who created an automated way to find design errors in hardware or software.

The prize is shared between Edmund Clarke (Carnegie Mellon), E Allen Emerson (University of Texas at Austin) and Joseph Sifakis (University of Grenoble).

Often described as the Nobel prize for computing, the Turing prize got a boost in sponsorship last year from Google.

Model checking is a process of checking for mistakes by expressing a system as a logic formula. It was used to check the PCI bus specifications.

More here. ®

Track this type of story as a custom Atom/RSS feed or by email.
Previous Article Next Article
whitepaper title

How IT Management Can "Green" the Data Center

This Gartner research provides managers with an outline of the trends affecting datacenters and offers strategies with which to address these changes..
whitepaper title

Gartner Paper: US Data Centers

U.S. enterprise data centers face considerable space and energy constraints over the next few years. Download this free independent report to read more..
Whitepapers

Top 20 storiesAll The Week’s HeadlinesArchiveSearch