Ebook: Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
- Tags: Software Engineering, Logics and Meanings of Programs, Programming Languages Compilers Interpreters, Artificial Intelligence (incl. Robotics), Mathematical Logic and Formal Languages, Computer Communication Networks
- Series: Lecture Notes in Computer Science 8244 : Programming and Software Engineering
- Year: 2013
- Publisher: Springer International Publishing
- Edition: 1
- Language: English
- pdf
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
Download the book Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)