Automatic device driver synthesis with termite.
Autor: | Ryzhyk, Leonid, Chubb, Peter, Kuz, Ihor, Le Sueur, Etienne, Heiser, Gernot |
---|---|
Zdroj: | Proceedings of the ACM SIGOPS 22nd Symposium: Operating Systems Principles; 10/11/2009, p73-86, 14p |
Databáze: | Complementary Index |
Externí odkaz: |