Configurable Toolset for Static Verification of Operating Systems Kernel Modules
The Static Driver Verifier Research Platform