Towards Automatic Software Model Checking of Thousands of Linux Modules: A Case Study with Avinux
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISSN: 1099-1689 KITopen-ID: 1000028426 |
| Erschienen in | Journal Software Testing, Verification & Reliability |
| Verlag | John Wiley and Sons |
| Band | 19 |
| Heft | 2 |
| Seiten | 155-172 |