WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/289796151

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

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.

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "VSTTE 2008"
  • "VSTTE 2008"@en
  • "VSTTE 2005"
  • "VSTTE 2005"@en

author

contributor

http://schema.org/contributor

creator

description

http://schema.org/description

  • "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."
  • "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."@en
  • "Annotation This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for specifying, building and verifying high-quality software. The book includes 32 revised full papers and 27 revised position papers, preceded by a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying compiler". Most contributions are followed by a transcription of the vivid discussion that ensued between the author and the audience. The papers have been organized in topical sections on verification tools, guaranteeing correctness, software engineering aspects, verifying object-oriented programming, programming language and methodology aspects, components, static analysis, design, analysis and tools, as well as formal techniques."

editor

genre

http://schema.org/genre

  • "Zürich (2005)"@en
  • "Electronic books"@en
  • "Electronic books"
  • "Llibres electrònics"
  • "Online-Publikation"
  • "Kongress <2005&gt"
  • "Congressos"
  • "Conference papers and proceedings"
  • "Conference papers and proceedings"@en
  • "Kongress"@en
  • "Kongress"
  • "Conference proceedings"
  • "Conference proceedings"@en
  • "Toronto (2008)"

name

http://schema.org/name

  • "Verified Software : Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings"
  • "Verified software theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings"
  • "Verified software: theories, tools, experiments first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions"
  • "Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions"@en
  • "Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions"
  • "Verified software : theories, tools, experiments : revised selected papers and discussions"
  • "Verified software: theories, tools, experiments : first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions"
  • "Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings"@en
  • "Verified software theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions"
  • "Verified software theories, tools, experiments : first IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : revised selected papers and discussions"@en
  • "Verified Software : Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions"
  • "Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions"
  • "Verified software theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings"
  • "Verified software theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings"@en
  • "Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2. 3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions"
  • "Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6 - 8, 2008 ; proceedings"
  • "Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions"@en
  • "Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings"
  • "Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings"@en
  • "Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings"
  • "Verified Software: Theories, Tools, Experiments"
  • "Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings"
  • "Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings"@en
  • "Verified software: theories, tools, experiments : second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 ; proceedings"
  • "Verified software: theories, tools, experiments"@en
  • "Verified software: theories, tools, experiments second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings"@en
  • "Verified software: theories, tools, experiments second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings"
  • "Verified software: theories, tools, experiments second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings"@en
  • "Verified Software theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions"
  • "Verified Software theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions"@en
  • "Verified software theories, tools, experiments : revised selected papers and discussions"
  • "Verified software"

workExample