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 ...
The CAV award is given for fundamental contributions to the field of Computer-Aided Verification, a sub-discipline of computer science that is concerned with ensuring that software and hardware ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results