Verified Software: Theories, Tools, and Experiments: [electronic resource] :: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers /: edited by Arie Gurfinkel, Sanjit A. Seshia.

Gurfinkel, Arie.; Seshia, Sanjit A.

doi:10.1007/978-3-319-29613-5

Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia.

Gurfinkel, Arie. editor.; Seshia, Sanjit A. editor.

2016

QA76.758

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia.

Edition

1st ed. 2016.

ISBN

9783319296135
3319296132
9783319296128

DOI

https://doi.org/10.1007/978-3-319-29613-5

Published

Cham : Springer International Publishing : Imprint: Springer, 2016.

Language

English

Description

1 online resource (ix, 223 pages) : illustrations.

Item Number

10.1007/978-3-319-29613-5 doi

Call Number

QA76.758

Dewey Decimal Classification

005.1

Summary

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. .

Access Note

Access limited to authorized users.

Digital File Characteristics

text file PDF

Added Author

Gurfinkel, Arie. editor.
Seshia, Sanjit A. editor.

Series

Lecture notes in computer science ; 9593.

Available in Other Form

Print version: 9783319296128

Linked Resources

Online Access