Programming and Software Engineering
© 2008
Hardware and Software: Verification and Testing
Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Editors: Yorav, Karen (Ed.)
Free PreviewBuy this book
- Table of contents (20 chapters)
-
-
Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless
Pages 1-7
-
Scaling Commercial Verification to Larger Systems
Pages 8-13
-
From Hardware Verification to Software Verification: Re-use and Re-learn
Pages 14-15
-
Where Do Bugs Come from?
Pages 16-16
-
Symbolic Execution and Model Checking for Testing
Pages 17-18
-
Table of contents (20 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Hardware and Software: Verification and Testing
- Book Subtitle
- Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
- Editors
-
- Karen Yorav
- Series Title
- Programming and Software Engineering
- Series Volume
- 4899
- Copyright
- 2008
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-77966-7
- DOI
- 10.1007/978-3-540-77966-7
- Softcover ISBN
- 978-3-540-77964-3
- Edition Number
- 1
- Number of Pages
- XII, 267
- Topics
