Essays about: "Daniel Skantz"
Found 2 essays containing the words Daniel Skantz.
-
1. Synthesis of Annotations for Partially Automated Deductive Verification
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : 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. READ MORE
-
2. Stock forecasting using ensemble neural networks
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : 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. READ MORE