Model Checking Concurrent Linux Device Drivers

Bibliographic Details
Main Authors:	Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
Format:	Conference item
Published:	IEEE 2007

Model checking concurrent linux device drivers by Witkowski, T, Blanc, N, Kroening, D, Weissenbacher, G

Published 2007

Conference item