Cover Image
Read Now

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

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...

Full description

Bibliographic Details
Other Authors: Bertacco, Valeria (Editor), Legay, Axel (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2013, 2013
Edition:1st ed. 2013
Series:Programming and Software Engineering
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Artificial Intelligence
Formal Languages And Automata Theory
Computer Networks 
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary: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
Physical Description:XX, 366 p. 147 illus online resource
ISBN:9783319030777

Similar Items