Essays about: "Fredrik Loch"
Found 1 essay containing the words Fredrik Loch.
-
1. Proving liveness properties of concurrent programs using petri-nets
University essay from Umeå universitet/Institutionen för datavetenskapAbstract : 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
Result pages:
1