Sökning: "Anton Lövström"

Hittade 1 uppsats innehållade orden Anton Lövström.

  1. 1. Evaluating the utility of a contract compositionality proof framework

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS); KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Anton Lövström; Anders Steen; [2020]
    Nyckelord :;

    Sammanfattning : A contract in system design is a concept used for specifying behaviors of and interactions between components in complex systems. Contracts make explicit the mutual commitments between components in a system. Nyberg et al propose a contracts theory and framework for proving the correctness of a decomposition of a system specification. LÄS MER