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

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

Saved in:

Bibliographic Details
Meeting name:	International Haifa Verification Conference (13th : 2017 : Haifa, Israel)
Imprint:	Cham, Switzerland : Springer, 2017.
Description:	1 online resource (xxii, 253 pages) : illustrations
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 10629 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10629. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Computer software -- Verification -- Congresses. Computer programs -- Verification -- Congresses. Software architecture -- Congresses. Computer programs -- Verification. Computer software -- Verification. Software architecture. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11389140

Hidden Bibliographic Details
Varying Form of Title:	HVC 2017
Other authors / contributors:	Strichman, Ofer, editor. Tzoref-Brill, Rachel, editor.
ISBN:	9783319703893 3319703897 9783319703886 3319703889
Digital file characteristics:	text file PDF
Notes:	International conference proceedings. Includes author index. Online resource; title from PDF title page (SpringerLink, viewed November 20, 2017).
Summary:	This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017. The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.
Other form:	Printed edition: 9783319703886
Standard no.:	10.1007/978-3-319-70389-3

Similar Items

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

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

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 ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
Published: (2013)

Hardware and software : Verification and testing, 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011, revised selected papers /
Published: (2012)

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

Hardware and software : verification and testing ; 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Published: (2013)

Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
Published: (2009)

Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
Published: (2016)

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 : revised selected papers /
Published: (2011)

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

Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
Published: (2011)

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

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

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

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

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

Software engineering : specification, implementation, verification /
by: Alagić, Suad, 1946-
Published: (2017)

Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Published: (2017)

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

Open verification methodology cookbook /
by: Glasser, Mark
Published: (2009)

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

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (1997)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (1991)

Verification of sequential and concurrent programs /
by: Apt, Krzysztof R., 1949-
Published: (2009)

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

RIACS workshop on the verification and validation of autonomous and adaptive systems /
by: Pecheur, Charles
Published: (2001)

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday /
Published: (2003)

Verification : theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday /
Published: (2003)

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

Numerical software verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019 : proceedings /
Published: (2019)

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Published: (2017)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part I /
Published: (2022)

Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings. Part II /
Published: (2022)

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /
Published: (2017)

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

Software verification and validation for practitioners and managers /
by: Rakitin, Steven R.
Published: (2001)

Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
Published: (2001)

Computer aided verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings /
Published: (2001)

Validation, verification, and testing of computer software /
by: Adrion, W. Richards
Published: (1981)