Matematycznie precyzyjnego określenia zasad zabezpieczeń. Odpowiednio dokładnie, taki model musi reprezentować stan początkowy system, sposób, w jaki system rozwija się z jednego stanu do drugiego, a określenie "bezpiecznego" stanu systemu.