Verified software: [electronic resource] :: theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers /: edited by Ernie Cohen, Andrey Rybalchenko.

Cohen, Ernie,; Rybalchenko, Andrey,

doi:10.1007/978-3-642-54108-7

Verified software [electronic resource] : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers / edited by Ernie Cohen, Andrey Rybalchenko.

VSTTE (Conference) (5th : 2013 : Menlo, Park, Calif.); Cohen, Ernie, editor of compilation.; Rybalchenko, Andrey, editor of compilation.

2014

QA76.76.V47

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Details

Title

Verified software [electronic resource] : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers / edited by Ernie Cohen, Andrey Rybalchenko.

Meeting Name

VSTTE (Conference) (5th : 2013 : Menlo, Park, Calif.)

ISBN

9783642541087 electronic book
3642541089 electronic book
9783642541070

DOI

https://doi.org/10.1007/978-3-642-54108-7

Published

Heidelberg : Springer, 2014.

Language

English

Description

1 online resource (xvi, 345 pages) : illustrations.

Item Number

10.1007/978-3-642-54108-7 doi

Call Number

QA76.76.V47

Dewey Decimal Classification

005.1/4

Summary

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Description based on online resource; title from PDF title page (SpringerLink, viewed January 20, 2014).

Added Author

Cohen, Ernie, editor of compilation.
Rybalchenko, Andrey, editor of compilation.

Series

Lecture notes in computer science ; 8164. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.

Linked Resources

Online Access