Save today: Get 40% off titles in Popular Science!

Programming and Software Engineering

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 Preview

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-26287-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
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)

Table of contents (17 chapters)
  • XSpeed: Accelerating Reachability Analysis on Multi-core Processors

    Pages 3-18

    Ray, Rajarshi (et al.)

  • Abstraction-Based Parameter Synthesis for Multiaffine Systems

    Pages 19-35

    Bogomolov, Sergiy (et al.)

  • Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed

    Pages 39-50

    Kiss, Balázs (et al.)

  • The Verification Cockpit – Creating the Dream Playground for Data Analytics over the Verification Process

    Pages 51-66

    Arar, Moab (et al.)

  • Coverage-Driven Verification —

    Pages 69-84

    Araiza-Illan, Dejanira (et al.)

Buy this book

eBook $44.99
price for USA in USD
  • ISBN 978-3-319-26287-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA in USD
Loading...

Recommended for you

Loading...

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