Essays about: "Fredrik Loch"

Found 1 essay containing the words Fredrik Loch.

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

    University essay from Umeå universitet/Institutionen för datavetenskap

    Author : Fredrik Loch; [2014]
    Keywords : ;

    Abstract : 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. READ MORE