Reguła statycznego weryfikatora sterowników

Reguła weryfikacji definiuje wymaganie prawidłowej interakcji między sterownikiem a interfejsem jądra systemu operacyjnego. Reguły są napisane w języku Specification Language for Interface Checking (SLIC), prostym języku opracowanym przez firmę Microsoft Research w tym celu.