When you think of Chernobyl (or Chornobyl, now), you think of the nuclear accident, of course. But have you ever considered that where there is a nuclear reactor, there is a computer control system?

There's certainly an argument that giving a computer too much control over any aspect of our lives is a dangerous thing. One day, they're developing the CPUs of other computers, and the next, they ...

Researchers have developed a new method for systematically identifying bugs in aircraft collision avoidance systems, high-speed train controls and other complex, computer-controlled devices, ...