Skip to Content
> Details
Ur, Shmuel
[Other]
;
International Haifa Verification Conference, 1, 2005, Haifa
[Other]
Hardware and software verification and testing
Share this by email
Share this on Twitter
Share this on Facebook
Share this on Whatsapp
- Media type: Book; Conference Proceedings
- Title: Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers
- Contributor: Ur, Shmuel [Other]
- Event: International Haifa Verification Conference, 1, 2005, Haifa [Other]
-
Published:
Berlin; Heidelberg [u.a.]: Springer, 2006
- Published in: Lecture notes in computer science ; 3875
- Extent: X, 264 S.; Ill., graph. Darst; 235 mm x 155 mm
- Language: English
- ISBN: 3540326049; 9783540326045
-
Publisher, production or purchase order numbers:
Sonstige Nummer: 11678779
-
RVK notation:
ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc.
-
Keywords:
Hardwareverifikation
>
Korrektheit
Programmverifikation > Korrektheit
Softwaretest
Multithreading > Debugging > Programmanalyse
System-on-Chip > Model Checking > Benchmark
Hardwareverifikation > Korrektheit
Programmverifikation > Korrektheit
Software > Testen
Multithreading > Debugging > Programmanalyse
System-on-Chip > Model Checking > Benchmark
- Origination:
-
Footnote:
Literaturangaben