storiet v.2

theme

voice

language

sign in
Cover of Hardware and Software: Verification and Testing

a novel ·

Hardware and Software: Verification and Testing

by

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. <br>The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully …

start reading + shelf
  • ● 71% match for you
  • ● art & photography, science & technology

the long version

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. <br>The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

M

Margaret's verdict

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. <br>The 15 revised full papers presented …"

— Margaret

highlights

what readers held onto

No highlights yet. Be the first.

discussion

what readers said

No reviews yet. Finish it; tell us what you found.