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)
9783319262864 (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-13: 9783319262864 / 9783319262864
• Zustand: Neuware