Sökning: "contract inference"

Hittade 2 avhandlingar innehållade orden contract inference.

1. 1. Automated Deductive Verification of Safety-Critical Embedded Software

   Författare :Christian Lidström; Dilian Gurov; Musard Balliu; Bernhard Beckert; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software sontracts; contract-based design; formal verification; deductive verification; contract inference; program instrumentation; embedded software; embedded systems; Frama-C; Datalogi; Computer Science;

   Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER

3. 2. Essays on Land Lease Markets, Productivity, Biodiversity, and Environmental Variability

   Författare :Mintewab Bezabih; Göteborgs universitet; []
   Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; JEL-codes: C7; C21; C35; C61; C88; C93; D00; D2; Q02; Q12; Q15; Q29; Q51;

   Sammanfattning : Paper 1: Tenure Insecurity, Transaction Costs in the Land Lease Market and Implications for Gendered Productivity Differentials This study assesses the link between land leasing behavior and productivity differentials between male and female-headed households. A double-moral hazard model allows us to show that the landlord’s tenure insecurity leads to a sub-optimal level of effort on the tenant’s part, via its impact on the likelihood of contract renewal. LÄS MER