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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Eder, Kerstin (Editor ), Lourenҫo, João (Editor ), Shehory, Onn (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Colección:Programming and Software Engineering, 7261
Temas:
Software engineering.
Compilers (Computer programs).
Computer science.
Artificial intelligence.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Acceso en línea:Texto Completo
Descripción
Sumario: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.
Descripción Física:XII, 263 p. 95 illus. online resource.
ISBN:9783642341885
ISSN:2945-9168 ;

Ejemplares similares