This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.
| ISBN: | 9783642314230 |
| Publication date: | 27th June 2012 |
| Author: | CAV Conference, P Madhusudan, Sanjit A Seshia |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 789 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Expert systems / knowledge-based systems Artificial intelligence Software Engineering Computer hardware |
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions.
Computer Aided Verification features in the following genres: Mathematical theory of computation, Expert systems / knowledge-based systems, Artificial intelligence, Software Engineering, Computer hardware
Paperback. Not Available.
Computer Aided Verification was written by CAV Conference, P Madhusudan, Sanjit A Seshia and published by Springer an imprint of Springer Berlin Heidelberg
Computer Aided Verification has 789 pages
Yes it is part of Lecture Notes in Computer Science series