Sökning: "Ali Jonathan Sharyari"
Hittade 1 uppsats innehållade orden Ali Jonathan Sharyari.
- Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi
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