Essays about: "Gabriel Skoglund"

Found 1 essay containing the words Gabriel Skoglund.

  1. 1. Composing Specifications Given in Different Formalisms

    University essay from KTH/Datavetenskap

    Author : Arvid Siberov; Gabriel Skoglund; [2022]
    Keywords : ;

    Abstract : The field of contract theory is concerned with formal proofs of how smaller components may be composed into larger systems. This thesis shows how one framework for constructing such proofs may be used to prove properties of compositions where some components are specified using the TLA+ formalism. READ MORE