Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Description

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.

The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 3069
2. Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
3. Coding Theory and Algebraic Geometry: Proceedings of the International Workshop held in Luminy, France, June 17-21, 1991
4. Fast Software Encryption: 16th International Workshop, FSE 2009
5. Computer Networks: 16th Conference, CN 2009, Wisla, Poland, June 16-20, 2009. Proceedings
6. Software Process Improvement: 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009, Proceedings
7. Grid Economics and Business Models: 4th International Workshop, GECON 2007, Rennes, France, August 28, 2007, Proceedings
8. Model Checking Software
9. Computational Forensics: Third International Workshop, IWCF 2009, Proceedings
10. Information Hiding: 9th International Workshop, IH 2007, Saint Malo, France, June 11-13, 2007, Revised Selected Papers
11. Fast Software Encryption: 7th International Workshop, FSE 2000, New York, NY, USA, April 10-12, 2000. Proceedings
12. Adaptive Optics for Industry and Medicine: Proceedings of the 4th International Workshop (Springer Proceedings in Physics)
13. [share_ebook] Computational Forensics: Third International Workshop, IWCF 2009, The Hague, The Netherlands, August 13-14, 2009, Proceedings (Lecture Notes in Computer ... Vision, Pattern Recognition, and Graphics)
14. [request_ebook] Systems and software verification model checking techniques and tools
15. Information Hiding: 11th International Workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009, Revised Selected Papers
16. Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings