Verified Software: Theories, Tools, Experiments
Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
Editors: Shankar, Natarajan, Woodcock, James (Eds.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (21 chapters)
-
-
Readable Formal Proofs
Pages 1-1
-
From Verification to Synthesis
Pages 2-2
-
Verification, Least-Fixpoint Checking, Abstraction
Pages 3-3
-
Combining Tests and Proofs
Pages 4-5
-
Propositional Dynamic Logic for Recursive Procedures
Pages 6-14
-
Table of contents (21 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Verified Software: Theories, Tools, Experiments
- Book Subtitle
- Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings
- Editors
-
- Natarajan Shankar
- James Woodcock
- Series Title
- Programming and Software Engineering
- Series Volume
- 5295
- Copyright
- 2008
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-87873-5
- DOI
- 10.1007/978-3-540-87873-5
- Softcover ISBN
- 978-3-540-87872-8
- Edition Number
- 1
- Number of Pages
- XII, 263
- Topics
