Sökning: "Daniel Skantz"

Hittade 2 uppsatser innehållade orden Daniel Skantz.

1. 1. Synthesis of Annotations for Partially Automated Deductive Verification

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

   Författare :Daniel Skantz; [2021]
   Nyckelord :;

   Sammanfattning : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. LÄS MER

3. 2. Stock forecasting using ensemble neural networks

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

   Författare :William Skagerström; Daniel Skantz; [2018]
   Nyckelord :;

   Sammanfattning : This paper explores the viability of creating an artificial neural network for stock forecasting using an ensemble method, where each network is differentiated with a different set of input parameters. The inputs were chosen based on previous research and by using a stepwise addition parameter search method. LÄS MER