Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems
| ISBN: | 9783540374060 |
| Publication date: | 8th August 2006 |
| Author: | CAV Conference, Thomas Ball, Robert B Jones |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 564 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Computer architecture and logic design Artificial intelligence Software Engineering |
Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems
Computer Aided Verification features in the following genres: Mathematical theory of computation, Computer architecture and logic design, Artificial intelligence, Software Engineering
Computer Aided Verification is available in Paperback
Computer Aided Verification was written by CAV Conference, Thomas Ball, Robert B Jones and published by Springer an imprint of Springer Berlin Heidelberg
Computer Aided Verification has 564 pages
Yes it is part of Lecture Notes in Computer Science series