Használata a formális igazolásokat bizonyítani a konzisztencia (tervezés-ellenőrzés) rendszer formális leírás és egy formális biztonsági házirend modell közötti vagy (végrehajtás-ellenőrzés) között a formális leírás, a program végrehajtását.