Static Driver Verifier Rule
A verification rule defines a requirement for proper interaction between a driver and the kernel interface of the operating system. The rules are written in Specification Language for Interface Checking (SLIC), a simple language that was developed by Microsoft Research expressly for this purpose.
Feedback
Coming soon: Throughout 2024 we will be phasing out GitHub Issues as the feedback mechanism for content and replacing it with a new feedback system. For more information see: https://aka.ms/ContentUserFeedback.
Submit and view feedback for