Borrow it
Coverart for item
The Resource Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers, Dimitra Giannakopoulou, Daniel Kroening (eds.)

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

Creator
Editor
Contributor
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
Language
eng
Work
Publication
Extent
1 online resource (x, 287 pages)
Note
Includes author index
Contents
  • Analysis: understanding and explanation
  • Verification frameworks and applications
  • Hypervisors and dynamic data structures
  • Certification
  • Real time and security
Isbn
9783319121543
Instance
Label
Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers
Title
Verified software
Title remainder
theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers
Statement of responsibility
Dimitra Giannakopoulou, Daniel Kroening (eds.)
Title variation
VSTTE 2014
Creator
Contributor
Editor
Subject
Genre
Language
eng
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
Member of
Cataloging source
GW5XE
Dewey number
005.1/4
Illustrations
illustrations
Index
index present
LC call number
QA76.76.V47
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2014
http://bibfra.me/vocab/lite/meetingName
VSTTE (Conference)
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Giannakopoulou, Dimitra
  • Kroening, Daniel
Series statement
Lecture Notes in Computer Science,
Series volume
8471
http://library.link/vocab/subjectName
  • Computer software
  • Computer software
  • Compilers (Computer programs)
  • Compilers (Computer programs)
  • Computer software
  • Computer software
Label
Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers, Dimitra Giannakopoulou, Daniel Kroening (eds.)
Instantiates
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security
Control code
894503945
Dimensions
unknown
Extent
1 online resource (x, 287 pages)
File format
unknown
Form of item
online
Isbn
9783319121543
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-12154-3
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)894503945
Label
Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers, Dimitra Giannakopoulou, Daniel Kroening (eds.)
Publication
Note
Includes author index
Antecedent source
unknown
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security
Control code
894503945
Dimensions
unknown
Extent
1 online resource (x, 287 pages)
File format
unknown
Form of item
online
Isbn
9783319121543
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-12154-3
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)894503945

Subject

Genre

Member of

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri-St. Louis Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...