Sökning: "Ali Jonathan Sharyari"

Hittade 1 uppsats innehållade orden Ali Jonathan Sharyari.

  1. 1. Algorithmic Analysis of Lossy Channel Machines Using Small Models

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Ali Jonathan Sharyari; [2016]
    Nyckelord :;

    Sammanfattning : Verification of infinite-state systems is in general an undecidable problem, but nevertheless, solid correctness results are important in many real-life applications. It is commonly the case that such algorithms rely on unbounded buffers for their operation, communication protocols being a typical example. LÄS MER