| Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings 2009 Edition Contributor(s): Bouajjani, Ahmed (Editor), Maler, Oded (Editor) |
|
 |
ISBN: 3642026575 ISBN-13: 9783642026577 Publisher: Springer OUR PRICE: $104.49 Product Type: Paperback - Other Formats Published: June 2009 Annotation: This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques. |
| Additional Information |
| BISAC Categories: - Computers | Logic Design - Computers | Software Development & Engineering - General - Mathematics | Logic |
| Dewey: 006.3 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 1" H x 6.1" W x 9.2" (2.25 lbs) 722 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques. |