Title Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / Ofer Strichman, Rachel Tzoref-Brill (eds.)

Published Cham, Switzerland : Springer, 2017

Click on the following:
Springer eBooks

Copies

Description 1 online resource (xxii, 253 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10629 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10629. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering. 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 Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed November 20, 2017) Subject Computer software -- Verification -- Congresses Computer programs -- Verification -- Congresses Software architecture -- Congresses Computer programs -- Verification Computer software -- Verification Software architecture Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Strichman, Ofer, editor. Tzoref-Brill, Rachel, editor ISBN 9783319703893 3319703897

Other Titles HVC 2017

  Permalink