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

First Page		Document Content
Date: 2017-03-12 03:19:31		Software Model Checking of Linux Device Drivers (Invited Talk) Alexey Khoroshilov Linux Verification Center, ISPRAS, Moscow, Russia Add to Reading List Source URL: refal.botik.ru Download Document from Source Website File Size: 45,92 KB Share Document on Facebook