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
Paperback. Not Available.
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