Sökning: "Fredrik Loch"
Hittade 1 uppsats innehållade orden Fredrik Loch.
1. Proving liveness properties of concurrent programs using petri-nets
Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskapSammanfattning : 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
Resultatsidor:
1