WASHINGTON – A foreign spy agency pulled off the most serious breach of Pentagon computer networks ever by inserting a flash drive into a U.S. military laptop, a top defense official said Wednesday.

The rendering software behind such hit animated movies as The Incredibles, Ratatouille and Monsters Inc. should become even more powerful when it becomes available on Microsoft Corp.’s most advanced ...

CAV 2008 is the 20th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue ...