Text

Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

---

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.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

004 HAN

Publisher

: ., 2015

Collation

XVI, 293

Language

English

ISBN/ISSN

978-3-319-26286-4

Classification

004.

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Software Engineering,

Specific Detail Info

-

Statement of Responsibility

Nir Piterman editor

Other Information

Cataloger

Khusnun

Source

-

Validator

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment