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.).

By:

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

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 8471.Publisher: Cham : Springer, 2014Description: 1 online resource (x, 287 pages) : illustrationsContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783319121543
3319121545

Other title:

VSTTE 2014

Subject(s):

Genre/Form:

Additional physical formats: Printed edition:: No titleDDC classification:

005.1/4 23

LOC classification:

QA76.76.V47

Online resources:

Click here to access online

Contents:

Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security.

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.

Holdings ( 1 )
Title notes ( 4 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

Includes author index.

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

Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security.

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.