Programming and Software Engineering

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Editors: Biere, Armin, Nahir, Amir, Vos, Tanja E.J. (Eds.)

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

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

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

Table of contents (28 chapters)

  • On Behavioral Programming

    Harel, David

    Pages 1-1

  • Verifying Real-Time Software Is Not Reasonable (Today)

    Lee, Edward A.

    Pages 2-2

  • SMT in Verification, Modeling, and Testing at Microsoft

    Bjørner, Nikolaj

    Pages 3-3

  • Reducing Costs While Increasing Quality

    Raz, Orna

    Pages 4-4

  • Special Session on Security Verification

    Goryachev, Alex

    Pages 5-5

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-39611-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-39610-6
  • 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
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Editors
  • Armin Biere
  • Amir Nahir
  • Tanja E.J. Vos
Series Title
Programming and Software Engineering
Series Volume
7857
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-39611-3
DOI
10.1007/978-3-642-39611-3
Softcover ISBN
978-3-642-39610-6
Edition Number
1
Number of Pages
XII, 281
Number of Illustrations and Tables
75 b/w illustrations
Topics