Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science 2937 (Paperback)
  • Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science 2937 (Paperback)
zoom

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings - Lecture Notes in Computer Science 2937 (Paperback)

(editor), (editor)
£72.00
Paperback 325 Pages / Published: 07/01/2004
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of the 5th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2004), held inVenice,January11-13,2004,inconjunctionwithPOPL2004,the31stAnnual SymposiumonPrinciplesofProgrammingLanguages,January14-16,2004.The purposeofVMCAIistoprovideaforumforresearchersfromthreecommunities- veri?cation, model checking, and abstract interpretation-which will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine thethreeareas.Withthegrowingneedforformaltoolstoreasonaboutcomplex, in?nite-state, and embedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. This year's meeting follows the four previous events in Port Je?erson (1997), Pisa (1998), Venice (2002), LNCS 2294 and New York (2003), LNCS 2575. In particular, we thank VMCAI 2003's sponsor, the Courant Institute at New York University, for allowing us to apply a monetary surplus from the 2003 meeting to this one. The program committee selected 22 papers out of 68 on the basis of three - views.Theprincipalcriteriawererelevanceandquality.TheprogramofVMCAI 2004 included, in addition to the research papers, - a keynote speech by David Harel (Weizmann Institute, Israel) onAGrand Challenge for Computing: Full Reactive Modeling of a Multicellular Animal, - aninvitedtalkbyDawsonEngler(StanfordUniversity,USA)onStaticAn- ysis Versus Software Model Checking for Bug Finding, - an invited talk by Mooly Sagiv (Tel Aviv University, Israel) called On the Expressive Power of Canonical Abstraction,and -atutorialbyJoshuaD.Guttman(Mitre,USA)on Security, Protocols, and Trust. We would like to thank the Program Committee members and the reviewers, without whose dedicated e?ort the conference would not have been possible.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540208037
Number of pages: 325
Weight: 1070 g
Dimensions: 235 x 155 x 18 mm
Edition: 2004 ed.

You may also be interested in...

Code
Added to basket
£21.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
Learning Python
Added to basket
£51.99
Paperback
C++ For Dummies
Added to basket
£21.99
Paperback
Automate The Boring Stuff With Python
Added to basket
Python 3 for Absolute Beginners
Added to basket
Python for Data Science For Dummies
Added to basket
JavaScript Pocket Reference
Added to basket
How to Build a Billion Dollar App
Added to basket
Coding for Beginners in easy steps
Added to basket
C Programming Language
Added to basket
Clean Code
Added to basket
£36.99
Paperback
The Bride of Science
Added to basket
Data Wrangling with Python
Added to basket
C Programming in Easy Steps
Added to basket
Python For Kids For Dummies
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.