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