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

Morten Christensen

    Research output: Book/ReportReportpeer-review

    Abstract

    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.
    Original languageDanish
    Number of pages8
    Publication statusPublished - 1996

    Cite this