Towards automatic software model checking of thousands of Linux modules—a case study with Avinux.

Saved in:

Bibliographic Details
Title:	Towards automatic software model checking of thousands of Linux modules—a case study with Avinux.
Authors:	Post, Hendrik¹, post@informatik.uni-tuebingen.de, Sinz, Carsten¹, Küchlin, Wolfgang¹
Source:	Software Testing: Verification & Reliability; Jun2009, Vol. 19 Issue 2, p155-172, 18p, 6 Diagrams, 3 Charts
Database:	Applied Science & Technology Source

Description
ISSN:	09600833
DOI:	10.1002/stvr.399