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.

Publisher
Springer
Publication date
2017
Language
English
ISBN 10 
3319703900
ISBN 13 
9783319703909
Binding
Paperback
Number of pages
276
Editor
Strichman Ofer, Tzoref-Brill Rachel

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, Proceedings (Programming and Software Engineering)

Featured Edition

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