Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Nir Piterman (Herausgeber)

Buch | Softcover

XVI, 293 Seiten

2015 | 1st ed. 2015
Springer International Publishing (Verlag)
978-3-319-26286-4 (ISBN)

Infos

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

The 17 revised full papers and 4 invited talks presentedwere carefully reviewed and selected from numerous submissions. The papers areorganized in topical sections on hybrid systems; tools; verification ofrobotics; symbolic execution; model checking; timed systems; SAT solving; multidomain verification; and synthesis.

Produkt-Details

• Erscheinungsdatum: 08.10.2016
• Reihe/Serie: Lecture Notes in Computer Science
• Reihe/Serie: Programming and Software Engineering
• Zusatzinfo: XVI, 293 p. 88 illus. in color.
• Verlagsort: Cham
• Sprache: englisch
• Maße: 155 x 235 mm
• Themenwelt: Informatik ► Software Entwicklung ► Qualität / Testen
• Schlagworte: Abstraction • Applications • Computer Science • conference proceedings • Dynamic validation • Formal Verification • hardware verification • Heartbleed • Hybrid Systems • Informatics • IPv6 mobility • Java • Model Checking • Multi-core Processors • Parallel implementations • parameterised verification • Research • SAT solving • Simulation • Software engineering • Software Engineering / Softwareentwicklung • Software Verification • symbolic execution • synthesis • Testing • theorem proving • timed systems
• ISBN-10: 3-319-26286-6 / 3319262866
• ISBN-13: 978-3-319-26286-4 / 9783319262864
• Zustand: Neuware