หมายเหตุ
การเข้าถึงหน้านี้ต้องได้รับการอนุญาต คุณสามารถลอง ลงชื่อเข้าใช้หรือเปลี่ยนไดเรกทอรีได้
การเข้าถึงหน้านี้ต้องได้รับการอนุญาต คุณสามารถลองเปลี่ยนไดเรกทอรีได้
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.