Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

The Resource Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

Label

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

Title remainder

16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

Statement of responsibility

Rajeev Alur, Doron A. Peled (eds.)

Title variation

CAV 2004

Language

eng

Summary

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004. The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems

Cataloging source

N$T

Dewey number

004.24

Index

index present

LC call number

QA76.76.V47

LC item number

C38 2004eb

Literary form

non fiction

Nature of contents

dictionaries
bibliography

Series statement

Lecture notes in computer science,

Series volume

3114

Context

Context of Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.

Context

Work of