Verifierregel voor statisch stuurprogramma

Een verificatieregel definieert een vereiste voor een juiste interactie tussen een stuurprogramma en de kernelinterface van het besturingssysteem. De regels zijn geschreven in Specification Language for Interface Checking (SLIC), een eenvoudige taal die door Microsoft Research uitdrukkelijk voor dit doel is ontwikkeld.