The 2008 CAV (Computer Aided Verification) award is given to Rajeev Alur from the University of Pennsylvania and David L. Dill from Stanford University for fundamental contributions to the theory of ...

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 ...

There were no computer-aided verification tools available to ensure the design would function as planned – or hoped – so the only way to determine if the product would work (and how well it would work ...

Office Hours: Tuesday, 3:30-4:30 pm, Thursday 10:00-11:00 am, or by appointment Today's complex hardware and software systems are difficult to verify. On the other hand, the cost of shipping defective ...