KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards Automatic Software Model Checking of Thousands of Linux Modules: A Case Study with Avinux

Post, H.; Sinz, C.; Küchlin, W.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2009
Sprache Englisch
Identifikator ISSN: 1099-1689
KITopen-ID: 1000028426
Erschienen in Journal Software Testing, Verification & Reliability
Band 19
Heft 2
Seiten 155-172
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page