Eksempel på array-repræsentation: Arraybaseret konfiguration i elforsyning

Denne rapport indeholder et lille eksempel på den repræsentation, der bruges i array-baseret logik.Når man skal verificere, de tanker man har gjort omkring primitiver og regler i et system, er det vigtigt, at der findes en god og entydig måde at repræsentere det på. Da det ikke er sikkert, at de fagfolk, der skal levere den faglige del af verifikationen, har beskæftiget sig med array-baseret logik, er der i denne rapport gennemgået et meget simpelt eksempel, som skulle gøre det muligt senere at vurdere rigtigheden af et primitivt system, der er opstillet på arrayform.