Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 1st Edition
-55%
Availability: In Stock

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 1st Edition

SKU: 9783540450696

Original price was: $54.99.Current price is: $24.99.

Access Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 1st Edition Now. Discount up to 90%

Categories: ,

Additional information

Full Title

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings 1st Edition
Author(s)

Warren A. Hunt, Jr., ‎Fabio Somenzi
Edition

1st Edition
ISBN

9783540450696, 9783540405245
Publisher

Springer
Format

PDF and EPUB

Description

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003. The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.

Related products