Items related to Hardware and Software: Verification and Testing : 13th...

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings - Softcover

 
9783319703909: Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Softcover
ISBN 10: 3319703900 ISBN 13: 9783319703909
Publisher: Springer, 2017

This specific ISBN edition is currently not available.

Synopsis

Simulation-based verification.- Software and hardware equivalence checking.- Static analysis.- Model checking.- Hardware/software co-verification.- Validation of data-intensive solutions.- Coverage analysis and test minimization.- Testing of mobile and cloud applications.- Software artifacts review and inspection.- Security verification.- Machine learning techniques for verification.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2017
  • ISBN 10 3319703900
  • ISBN 13 9783319703909
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783319703886: Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... (Lecture Notes in Computer Science, 10629)

Featured Edition

ISBN 10:  3319703889 ISBN 13:  9783319703886
Publisher: Springer, 2017
Softcover