Programming and Software Engineering

Hardware and Software: Verification and Testing

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Editors: Yahav, Eran (Ed.)

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-13338-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-13337-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Table of contents (21 chapters)

  • Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures

    Derrick, John (et al.)

    Pages 1-16

  • Enhancing Scenario Quality Using Quasi-Events

    Katz, Yoav (et al.)

    Pages 17-29

  • Combined Bounded and Symbolic Model Checking for Incomplete Timed Systems

    Morbé, Georges (et al.)

    Pages 30-47

  • DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification

    Galeotti, Juan Pablo (et al.)

    Pages 48-53

  • Generating Modulo-2 Linear Invariants for Hardware Model Checking

    Aleksandrowicz, Gadi (et al.)

    Pages 54-67

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-13338-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-13337-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Hardware and Software: Verification and Testing
Book Subtitle
10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Editors
  • Eran Yahav
Series Title
Programming and Software Engineering
Series Volume
8855
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-13338-6
DOI
10.1007/978-3-319-13338-6
Softcover ISBN
978-3-319-13337-9
Edition Number
1
Number of Pages
XVI, 302
Number of Illustrations and Tables
78 b/w illustrations
Topics