Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Editors: Piterman, Nir (Ed.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (17 chapters)
-
-
XSpeed: Accelerating Reachability Analysis on Multi-core Processors
Pages 3-18
-
Abstraction-Based Parameter Synthesis for Multiaffine Systems
Pages 19-35
-
Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed
Pages 39-50
-
The Verification Cockpit – Creating the Dream Playground for Data Analytics over the Verification Process
Pages 51-66
-
Coverage-Driven Verification —
Pages 69-84
-
Table of contents (17 chapters)
- Download Preface 1 PDF (40.8 KB)
- Download Sample pages 2 PDF (501.4 KB)
- Download Table of contents PDF (62.4 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Hardware and Software: Verification and Testing
- Book Subtitle
- 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
- Editors
-
- Nir Piterman
- Series Title
- Programming and Software Engineering
- Series Volume
- 9434
- Copyright
- 2015
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-26287-1
- DOI
- 10.1007/978-3-319-26287-1
- Softcover ISBN
- 978-3-319-26286-4
- Edition Number
- 1
- Number of Pages
- XVI, 293
- Number of Illustrations
- 88 illustrations in colour
- Topics
