Clicky

Hardware and Software : Verification and Testing by Valeria Bertacco and similar books you'll love - Bookscovery

Home > Authors > Valeria Bertacco > Hardware and Software : Verification and Testing

Buy at: Bookshop.org Amazon

Hardware and Software : Verification and Testing

Valeria Bertacco, Axel Legay

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.

Recent activity

Rate this book to see your activity here.

4 Books Similar to Hardware and Software : Verification and Testing by Valeria Bertacco

Bookscovery readers who liked Hardware and Software : Verification and Testing also like Scalable Hardware Verification with Symbolic Simulation, Scalable Hardware Verification with Symbolic Simulation and Model Checking Software. How many of these have you read?

Scalable Hardware Verification with Symbolic Simulation by Valeria Bertacco

Cover of Scalable Hardware Verification with Symbolic Simulation
Buy this book at:
Bookshop.org Amazon

Scalable Hardware Verification with Symbolic Simulation by Valeria Bertacco

Cover of Scalable Hardware Verification with Symbolic Simulation
Buy this book at:
Bookshop.org Amazon

Model Checking Software by Fabrizio Biondi

Cover of Model Checking Software
Buy this book at:
Bookshop.org Amazon

Models, Algorithms, Logics and Tools by Luca Aceto

Cover of Models, Algorithms, Logics and Tools
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Hardware and Software : Verification and Testing

Please sign in to leave a comment