Sökning: "Lasse Berglund"

Hittade 2 uppsatser innehållade orden Lasse Berglund.

1. 1. Executive Summaries in Software Model Checking

   Master-uppsats, KTH/Teoretisk datalogi, TCS

   Författare :Lasse Berglund; [2018]
   Nyckelord :program verification; software engineering; concurrent programming; model checking; software model checking;

   Sammanfattning : Model checking is a technique used to verify whether a model meets a given specification by exhaustively and automatically checking each reachable state in the model. It is a well-developed technique, but it suffers from some issues, perhaps most importantly the state space explosion problem. LÄS MER

3. 2. Investigating how Distributed Computation Pruning performs on the Generalized Linear Preference model

   Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

   Författare :Lasse Berglund; Patrik Ackland; [2015]
   Nyckelord :;

   Sammanfattning : Finding all shortest paths in a distributed dynamic network has many practical applications, but it is perhaps most important in network routing. To this end a number of algorithms and techniques have been developed. LÄS MER