Essays about: "Arvid Siberov"
Found 1 essay containing the words Arvid Siberov.
-
1. Composing Specifications Given in Different Formalisms
University essay from KTH/DatavetenskapAbstract : 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
Result pages:
1