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 Open Source Systems: Integrating Communities by
Cover of the book The Theoretical and Practical Dimensions of Regionalism in East Asia by
Cover of the book Japanese Human Resource Management by
Cover of the book Hemo-Dynamics by
Cover of the book Emigration and Diaspora Policies in the Age of Mobility by
Cover of the book Quantum Radiation in Ultra-Intense Laser Pulses by
Cover of the book Pervasive Computing Paradigms for Mental Health by
Cover of the book Ubiquitous Computing and Ambient Intelligence by
Cover of the book Skyrmions in Magnetic Materials by
Cover of the book Advances in Neuroergonomics and Cognitive Engineering by
Cover of the book Smart Health by
Cover of the book Advances in Design for Inclusion by
Cover of the book Models of Calcium Signalling by
Cover of the book The Controversy over Marine Protected Areas by
Cover of the book Regional Trajectories of Entrepreneurship, Knowledge, and Growth 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