TY - RPRT
T1 - Eksempel på array-repræsentation
T2 - Arraybaseret konfiguration i elforsyning
AU - Christensen, Morten
PY - 1996
Y1 - 1996
N2 - 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.
AB - 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.
M3 - Rapport
BT - Eksempel på array-repræsentation
ER -