Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Eder, Kerstin (Editor), Lourenço, João (Editor), Shehory, Onn (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7261
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).
• Physical Description: XII, 263 p. 95 illus. online resource.
• ISBN: 9783642341885
• ISSN: 0302-9743 ;

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.