Sökning: "Fredrik Loch"

Hittade 1 uppsats innehållade orden Fredrik Loch.

  1. 1. Proving liveness properties of concurrent programs using petri-nets

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Fredrik Loch; [2014]
    Nyckelord :;

    Sammanfattning : With the increased scale of distributed computations the complexity of liveness proofs have increased. In this paper we endeavor to simplify the process of verifying a concurrent system using well know modeling techniques. The choice of modeling tool as well as the proof is based on future scalability and automation. LÄS MER