Automatic Synthesis of High-Assurance Device Drivers G ERNOT H EISER, NICTA, Australia L EONID RYZHYK , M ICHAEL S TUMM, University of Toronto, Canada PAVOL C ERNY, University of Colorado Boulder, USA A LASTAIR F. D ONAL - Device drivers - Document - PDFSEARCH.IO

First Page	Meta Content
	Automatic Synthesis of High-Assurance Device Drivers G ERNOT H EISER, NICTA, Australia L EONID RYZHYK , M ICHAEL S TUMM, University of Toronto, Canada PAVOL C ERNY, University of Colorado Boulder, USA A LASTAIR F. D ONAL Add to Reading List Document Date: 2013-10-20 22:09:39 Open Document File Size: 526,33 KB Share Result on Facebook

Automatic Synthesis of High-Assurance Device Drivers G ERNOT H EISER, NICTA, Australia L EONID RYZHYK , M ICHAEL S TUMM, University of Toronto, Canada PAVOL C ERNY, University of Colorado Boulder, USA A LASTAIR F. D ONALAdd to Reading List