Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia - Device drivers - Document - PDFSEARCH.IO

First Page	Meta Content
	Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia Add to Reading List Document Date: 2017-03-12 03:19:31 Open Document File Size: 45,92 KB Share Result on Facebook

Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia Add to Reading List