Automatic Verification of Data Race Freedom in Device Drivers∗ (Extended Abstract) Pantazis Deligiannis and Alastair F. Donaldson Imperial College London {p.deligiannis, alastair.donaldson Abstract - Device drivers - Document - PDFSEARCH.IO

First Page	Meta Content
	Automatic Verification of Data Race Freedom in Device Drivers∗ (Extended Abstract) Pantazis Deligiannis and Alastair F. Donaldson Imperial College London {p.deligiannis, alastair.donaldson}@imperial.ac.uk Abstract Add to Reading List Document Date: 2015-07-01 17:41:47 Open Document File Size: 507,80 KB Share Result on Facebook

Automatic Verification of Data Race Freedom in Device Drivers∗ (Extended Abstract) Pantazis Deligiannis and Alastair F. Donaldson Imperial College London {p.deligiannis, alastair.donaldson}@imperial.ac.uk AbstractAdd to Reading List