Verified software : theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	VSTTE (Conference) (6th : 2014 : Vienna, Austria)
Imprint:	Cham : Springer, 2014.
Description:	1 online resource (x, 287 pages) : illustrations.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 8471 Lecture notes in computer science ; 8471.
Subject:	Computer software -- Verification -- Congresses. Computer software -- Quality control -- Congresses. Compilers (Computer programs) -- Congresses. Compilers (Computer programs) Computer software -- Quality control. Computer software -- Verification. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11088905

Hidden Bibliographic Details
Varying Form of Title:	VSTTE 2014
Other authors / contributors:	Giannakopoulou, Dimitra, editor. Kroening, Daniel, editor.
ISBN:	9783319121543 3319121545 3319121537 9783319121536 9783319121536
Notes:	Includes author index. Online resource; title from PDF title page (SpringerLink, viewed November 5, 2014).
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.
Other form:	Printed edition: 9783319121536
Standard no.:	10.1007/978-3-319-12154-3

Similar Items