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

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

Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised selected papers /
Published: (2014)

Verified software : theories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised selected papers /
Published: (2020)

Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /
Published: (2016)

Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions /
Published: (2008)

Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /
Published: (2018)

Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /
Published: (2017)

Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction /
by: Müller-Olm, Markus
Published: (1997)

Software engineering reviews and audits /
by: Summers, Boyd L.
Published: (2011)

Verified software : theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings /
Published: (2010)

Verified software: theories, tools, experiments : third international conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 : proceedings /
Published: (2010)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
Published: (2012)

Software testing foundations : a study guide for the certified tester exam /
by: Spillner, Andreas
Published: (2014)

Compiler specification and verification /
by: Polak, Wolfgang, 1950-
Published: (1981)

Explore it! : Wie Softwareentwickler und Tester mit explorativem Testen Risiken reduzieren und Fehler aufdecken /
by: Hendrickson, Elisabeth
Published: (2014)

Software build systems : principles and experience /
by: Smith, Peter, 1970-
Published: (2011)

The economics of software quality /
by: JONES, CAPERS
Published: (2012)

Compiler specification and verification /
by: Polak, Wolfgang, 1950-
Published: (1981)

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Published: (2017)

Compiler design : syntactic and semantic analysis /
by: Wilhelm, R. (Reinhard), 1946-
Published: (2013)

Software verification and validation : realistic project approaches /
by: Deutsch, Michael S.
Published: (1982)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published: (2007)

Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
Published: (2008)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Published: (2014)

Verification and validation of autonomy software at NASA /
by: Pecheur, Charles
Published: (2000)

Hardware and software : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /
Published: (2014)

Compiler construction : 22nd International Conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

The Austin protocol compiler /
by: McGuire, Tommy M.
Published: (2005)

LLVM cookbook : over 80 engaging recipes that will help you build a compiler frontend, optimizer, and code generator using LLVM /
by: Pandey, Mayur
Published: (2015)

Software validation : inspection, testing, verification, alternatives : proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25-30, 1983 /
Published: (1984)

Rigorous software development : an introduction to program verification /
Published: (2011)

Software verification and validation : an engineering and scientific approach /
by: Fisher, Marcus S.
Published: (2007)

Software verification and analysis : an integrated, hands-on approach /
by: Łaski, Janusz
Published: (2009)

Software verification : 12th international conference, VSTTE 2020, and 13th international workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, revised selected papers /
Published: (2020)

String analysis for software verification and security /
by: Bultan, Tevfik
Published: (2017)

Introducing software verification with Dafny language : proving program correctness /
by: Sitnikovski, Boro
Published: (2022)

Hardware and software, verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /
Published: (2006)

Compiler construction : 19th International Conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings /
Published: (2010)

Source code analytics with Roslyn and JavaScript data visualization /
by: Mukherjee, Sudipta
Published: (2016)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
Published: (2009)

Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
Published: (2014)