Thorough Static Analysis of Device Drivers (2006)

by Thomas Ball , Ella Bounimova , Byron Cook , Vladimir Levin , Jakob Lichtenberg , Con McGarvey , Bohus Ondrusek , Sriram K. Rajamani , Abdullah Ustuner
Citations:119 - 22 self

Documents Related by Co-Citation

192 Improving the reliability of commodity operating systems – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2003
199 An Empirical Study of Operating System Errors – Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler - 2001
194 Bebop: A Symbolic Model Checker for Boolean Programs – Thomas Ball, Sriram K. Rajamani - 2000
90 Recovering device drivers – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2004
59 XFI: Software Guards for System Address Spaces – U ERLINGSSON, M ABADI, M VRABLE, M BUDIU, G C NECULA
63 Devil: An IDL for Hardware Programming – Fabrice Mérillon, Laurent Réveillère, Charles Consel, Renaud Marlet, Gilles Muller - 2000
58 SafeDrive: Safe and recoverable extensions using language-based techniques – Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak - 2006
34 User-level Device Drivers: Achieved Performance – Ben Leslie, Peter Chubb, Nicholas Fitzroy-dale, Stefan Götz, Charles Gray, Luke Macpherson, Daniel Potts, Yueting Shen, Kevin Elphinstone, Gernot Heiser - 2005
162 Abstractions from Proofs – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan - 2004
137 A Static Analyzer for Large Safety-Critical Software – Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jerome Feret, Laurent Mauborgne, Antoine Mine, David Monniaux, Xavier Rival - 2003
520 Construction of abstract state graphs with PVS – Susanne Graf, Hassen Saidi - 1997
315 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
378 Lazy Abstraction – Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Gregoire Sutre - 2002
5 Windows Static Driver Verifier. Available at www.microsoft.com/whdc/devtools/tools/SDV.mspx – Microsoft Corporation - 2004
44 Termination of polynomial programs – Aaron R. Bradley, Zohar Manna, Henny B. Sipma - 2005
51 Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming – Patrick Cousot - 2005
41 Abstraction Refinement for Termination – Byron Cook, Andreas Podelski, Andrey Rybalchenko - 2005
89 A complete method for the synthesis of linear ranking functions – A Podelski, A Rybalchenko - 2004
70 Transition Invariants – Andreas Podelski, Andrey Rybalchenko