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:
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

MARC

LEADER 00000cam a2200000Ii 4500
001 11088905
005 20170630045743.9
006 m o d
007 cr cnu|||unuuu
008 141105s2014 sz a o 101 0 eng d
003 ICU
040 |a GW5XE  |b eng  |e rda  |e pn  |c GW5XE  |d YDXCP  |d UKMGB  |d UPM  |d COO  |d OCLCF  |d OCLCO  |d OCL  |d OCLCO  |d OCLCQ  |d GW5XE 
016 7 |a 016944808  |2 Uk 
020 |a 9783319121543  |q (electronic bk.) 
020 |a 3319121545  |q (electronic bk.) 
020 |z 3319121537  |q (print) 
020 |z 9783319121536  |q (print) 
020 |z 9783319121536 
024 7 |a 10.1007/978-3-319-12154-3  |2 doi 
035 |a (OCoLC)894503945 
050 4 |a QA76.76.V47 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
049 |a MAIN 
111 2 |a VSTTE (Conference)  |n (6th :  |d 2014 :  |c Vienna, Austria)  |0 http://id.loc.gov/authorities/names/nb2014026885  |1 http://viaf.org/viaf/311775178 
245 1 0 |a Verified software :  |b theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised selected papers /  |c Dimitra Giannakopoulou, Daniel Kroening (eds.). 
246 3 |a VSTTE 2014 
264 1 |a Cham :  |b Springer,  |c 2014. 
300 |a 1 online resource (x, 287 pages) :  |b illustrations. 
336 |a text  |b txt  |2 rdacontent  |0 http://id.loc.gov/vocabulary/contentTypes/txt 
337 |a computer  |b c  |2 rdamedia  |0 http://id.loc.gov/vocabulary/mediaTypes/c 
338 |a online resource  |b cr  |2 rdacarrier  |0 http://id.loc.gov/vocabulary/carriers/cr 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 8471 
500 |a Includes author index. 
588 0 |a Online resource; title from PDF title page (SpringerLink, viewed November 5, 2014). 
505 0 |a Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security. 
520 |a 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. 
650 0 |a Computer software  |x Verification  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2009121254 
650 0 |a Computer software  |x Quality control  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2009121251 
650 0 |a Compilers (Computer programs)  |v Congresses.  |0 http://id.loc.gov/authorities/subjects/sh2008117721 
650 2 4 |a Software Engineering. 
650 2 4 |a Logics and Meanings of Programs. 
650 2 4 |a Programming Languages, Compilers, Interpreters. 
650 2 4 |a Programming Techniques. 
650 7 |a Compilers (Computer programs)  |2 fast  |0 (OCoLC)fst00871538 
650 7 |a Computer software  |x Quality control.  |2 fast  |0 (OCoLC)fst00872581 
650 7 |a Computer software  |x Verification.  |2 fast  |0 (OCoLC)fst00872604 
655 4 |a Electronic books. 
655 7 |a Conference papers and proceedings.  |2 fast  |0 (OCoLC)fst01423772 
700 1 |a Giannakopoulou, Dimitra,  |e editor.  |0 http://id.loc.gov/authorities/names/nb2011009457  |1 http://viaf.org/viaf/189820076 
700 1 |a Kroening, Daniel,  |e editor.  |0 http://id.loc.gov/authorities/names/no2009033013  |1 http://viaf.org/viaf/315220095 
776 0 8 |i Printed edition:  |z 9783319121536 
830 0 |a Lecture notes in computer science ;  |v 8471.  |x 0302-9743 
856 4 0 |u http://link.springer.com/10.1007/978-3-319-12154-3  |y SpringerLink 
903 |a HeVa 
929 |a eresource 
999 f f |i 77011c20-f3d4-5b78-8725-b9c778a492f0  |s 3d341b60-19c8-539b-87e1-3c4314aeb9cf 
928 |t Library of Congress classification  |a QA76.76.V47  |l Online  |c UC-FullText  |u http://link.springer.com/10.1007/978-3-319-12154-3  |z SpringerLink  |g ebooks  |i 9901925