The design and implementation of microdrivers
The SLAM project: debugging system software via static analysis