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.).
2014
QA76.76.V47
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
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
ISBN
9783319121543 electronic book
3319121545 electronic book
9783319121536
3319121545 electronic book
9783319121536
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).
Series
Lecture notes in computer science ; 8471.
Linked Resources
Record Appears in
Table of Contents
Analysis: understanding and explanation
Verification frameworks and applications
Hypervisors and dynamic data structures
Certification
Real time and security.
Verification frameworks and applications
Hypervisors and dynamic data structures
Certification
Real time and security.