Sökning: "Christian Lidström"

Hittade 1 avhandling innehållade orden Christian Lidström.

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