2. VSTTE 2008:
Toronto, Canada
Natarajan Shankar, Jim Woodcock (Eds.):
Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings .
Lecture Notes in Computer Science 5295 Springer 2008, ISBN 978-3-540-87872-8
Keynote Talks (Abstracts)
Logics
Tools
- Patrice Chalin, Perry R. James, George Karabotsos:
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML.
70-83

- Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier:
Incremental Benchmarks for Software Verification Tools and Techniques.
84-98

Case Studies
Methodology
Verisoft
Paper from VSTTE 2005
Last update Sun May 26 04:06:05 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page