Hardware and software: verification and testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers

Media type: Book; Conference Proceedings
Title: Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers
Contributor: Barner, Sharon [Hrsg.]; Harris, Ian [Other]; Kroening, Daniel [Other]; Raz, Orna [Other]
Event: International Haifa Verification Conference
imprint: Berlin; Heidelberg [u.a.]: Springer, 2011
Published in: Lecture notes in computer science ; 6504
Extent: X, 196 S.; Ill., graph. Darst; 235 mm x 155 mm
Language: English
ISBN: 3642195822; 9783642195822
Publisher, production or purchase order numbers: Sonstige Nummer: 80035453
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Software > Testen > Debugging
Programmverifikation > Hardwareverifikation > Spezifikationstechnik > Testen > Model Checking
Origination:
Footnote: Literaturangaben

Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010 ; revised selected papers