Towards automatic software model checking of thousands of Linux modules—a case study with Avinux
Hendrik Post, Carsten Sinz, Wolfgang KüchlinVolume:
19
Année:
2009
Langue:
english
Pages:
18
DOI:
10.1002/stvr.399
Fichier:
PDF, 664 KB
english, 2009