Hardware and Software: Verification and Testing 2015: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Lecture Notes in Computer Science)

ISBN 10: 3319262866 / ISBN 13: 9783319262864

Edité par Springer, 2015

A propos de cet article

pp. 274. N° de réf. du vendeur 26372800616

Détails bibliographiques

Titre : Hardware and Software: Verification and ...

Éditeur : Springer

Date d'édition : 2015

Reliure : Couverture souple

Etat : New

A propos de ce titre

Synopsis :

This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.

The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.