TY -
BOOK
AU - International Haifa Verification Conference 1 2005 Haifa
AU - Ur, Shmuel
TI -
Hardware and software verification and testing
first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers
PB - Springer
SN - 3540326049
SN - 9783540326045
KW - Computer systems Verification Congresses
KW - Computer software Verification Congresses
KW - Computer programs Verification Congresses
KW - Integrated circuits Verification Congresses
KW - Konferenzschrift 2005 Haifa
KW - Hardwareverifikation
KW - Korrektheit
KW - Programmverifikation
KW - Softwaretest
KW - Multithreading
KW - Debugging
KW - Programmanalyse
KW - System-on-Chip
KW - Model Checking
KW - Benchmark
KW - Software
KW - Testen
PY - 2006
N2 - Literaturangaben
BT - Lecture notes in computer science ; 3875
CY - Berlin
ER -