Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / Roderick Bloem, Eli Arbel (eds.).
2016
QA76.76.V47 I54 2016eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / Roderick Bloem, Eli Arbel (eds.).
ISBN
9783319490526 (electronic book)
3319490524 (electronic book)
9783319490519
3319490524 (electronic book)
9783319490519
Published
Cham, Switzerland : Springer, [2016]
Language
English
Description
1 online resource (xvi, 211 pages) : illustrations.
Item Number
10.1007/978-3-319-49052-6 doi
Call Number
QA76.76.V47 I54 2016eb
Dewey Decimal Classification
005.1/4
Summary
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 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.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Description based on online resource; title from digital title page (viewed on November 11, 2016).
Added Author
Bloem, Roderick P., editor.
Arbel, Eli, editor.
Arbel, Eli, editor.
Series
Lecture notes in computer science ; 10028.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Print version: 9783319490519
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
Practice in verification
Practice in testing
Future directions of testing and verification for hardware, software, and complex hybrid systems.
Practice in testing
Future directions of testing and verification for hardware, software, and complex hybrid systems.