Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Hardware and Software: Verification and Testing by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319262871
Publisher: Springer International Publishing Publication: October 26, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319262871
Publisher: Springer International Publishing
Publication: October 26, 2015
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.

The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.

The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.

More books from Springer International Publishing

Cover of the book Disney and the Dialectic of Desire by
Cover of the book Euclidean Geometry and its Subgeometries by
Cover of the book Shrinking Cities and First Suburbs by
Cover of the book Pediatric Electromyography by
Cover of the book Water Scarcity and Ways to Reduce the Impact by
Cover of the book Progress in Life Cycle Assessment 2018 by
Cover of the book Advances in Information and Communication by
Cover of the book Managing Hybrid Organizations by
Cover of the book Image Analysis and Recognition by
Cover of the book Artificial Intelligence and Signal Processing by
Cover of the book Transcending Borders by
Cover of the book Clinical Applications of Nuclear Medicine Targeted Therapy by
Cover of the book An Introduction to Observational Astrophysics by
Cover of the book Imaging Trauma and Polytrauma in Pediatric Patients by
Cover of the book Civic Education and Liberal Democracy by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy