Verified Software: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings (2008) (Lecture Notes in Computer Science #5295)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
- Copyright:
- 2008
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783540878735
- Related ISBNs:
- 9783540878728
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 07/14/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Natarajan Shankar
- Edited by:
- Jim Woodcock
Reviews
Other Books
- by Natarajan Shankar
- by Jim Woodcock
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy