Computer Aided Verification (Lecture Notes in Computer Science) by Ahmed Bouajjani
English | 19 Jun. 2009 | ISBN: 3642026575 | 740 Pages | PDF | 10 MB
English | 19 Jun. 2009 | ISBN: 3642026575 | 740 Pages | PDF | 10 MB
This volume contains the proceedings of the 21st International Conference on Computer-Aided Veri?cation (CAV) held in Grenoble, France, between June 28 and July 2, 2009. CAV is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.