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 Democracy and Governance for Resourcing the Commons by
Cover of the book Cell Biology of Herpes Viruses by
Cover of the book Regionalism, Development and the Post-Commodities Boom in South America by
Cover of the book Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing by
Cover of the book Metastatic Neoplasms in Fine-Needle Aspiration Cytology by
Cover of the book Advances in Neural Networks - ISNN 2017 by
Cover of the book Climate Change Adaptation in Africa by
Cover of the book The Theoretical Individual by
Cover of the book The Art of Structuring by
Cover of the book Cultural, Social, and Political Perspectives in Science Education by
Cover of the book Learning Technologies and Globalization by
Cover of the book Drug Resistance in Bacteria, Fungi, Malaria, and Cancer by
Cover of the book Risk and Reward by
Cover of the book Public Control of Armed Forces in the Russian Federation by
Cover of the book Interactive Theorem Proving 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