Verified software: [electronic resource] :: theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers /: Dimitra Giannakopoulou, Daniel Kroening (eds.).

Giannakopoulou, Dimitra,; Kroening, Daniel,

doi:10.1007/978-3-319-12154-3

Verified software [electronic resource] : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers / Dimitra Giannakopoulou, Daniel Kroening (eds.).

VSTTE (Conference) (6th : 2014 : Vienna, Austria); Giannakopoulou, Dimitra, editor.; Kroening, Daniel, editor.

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 and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers / Dimitra Giannakopoulou, Daniel Kroening (eds.).

Meeting Name

VSTTE (Conference) (6th : 2014 : Vienna, Austria)

ISBN

9783319121543 electronic book
3319121545 electronic book
9783319121536

DOI

https://doi.org/10.1007/978-3-319-12154-3

Published

Cham : Springer, 2014.

Language

English

Description

1 online resource (x, 287 pages) : illustrations.

Item Number

10.1007/978-3-319-12154-3 doi

Call Number

QA76.76.V47

Dewey Decimal Classification

005.1/4

Summary

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed November 5, 2014).

Added Author

Giannakopoulou, Dimitra, editor.
Kroening, Daniel, editor.

Series

Lecture notes in computer science ; 8471.

Linked Resources

Online Access