This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
| ISBN: | 9783319030760 |
| Publication date: | 31st October 2013 |
| Author: | International Haifa Verification Conference |
| Publisher: | Springer an imprint of Springer International Publishing |
| Format: | Paperback |
| Pagination: | 366 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Network hardware Compilers and interpreters |
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
Hardware and Software: Verification and Testing features in the following genres: Software Engineering, Mathematical theory of computation, Artificial intelligence, Network hardware, Compilers and interpreters
Hardware and Software: Verification and Testing is available in Paperback
Hardware and Software: Verification and Testing was written by International Haifa Verification Conference and published by Springer an imprint of Springer International Publishing
Hardware and Software: Verification and Testing has 366 pages
Yes it is part of Lecture Notes in Computer Science series