This book constitutes the refereed proceedings of the 19th
International Conference on Computer Aided Verification.
Thirty-three state-of-the-technology papers are presented, together
with fourteen tool papers, three invited papers, and four invited
tutorials. All the current issues in computer aided verification
and model checking-from foundational and methodological issues to
the evaluation of major tools and systems-are addressed.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!