TY  - BOOK
AU  - Piterman,Nir
ED  - SpringerLink (Online service)
TI  - Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319262871
AV  - QA76.758 
U1  - 005.1 23
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer logic
KW  - Programming languages (Electronic computers)
KW  - Mathematical logic
KW  - Artificial intelligence
KW  - Computer communication systems
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Mathematical Logic and Formal Languages
KW  - Artificial Intelligence
KW  - Computer Communication Networks
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-26287-1
ER  -