ENGLISH

Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings

By Eran Yahav (eds.)

Book information

Publisher
Springer International Publishing
Year
2014
ISBN
978-3-319-13337-9, 978-3-319-13338-6
DOI
10.1007/978-3-319-13338-6
Language
english
Format
PDF
Filesize
6 MB (5818582 bytes)
Series
Lecture Notes in Computer Science 8855 Programming and Software Engineering
Edition
1
Pages
302\313
Time added
2014-11-10 20:00:00
CompilersInterpreters; Artificial Intelligence (incl. RobotSoftware Engineering; Logics and Meanings of Progr

Description

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Similar books