Sökning: "Mats Kindahl"

Hittade 1 avhandling innehållade orden Mats Kindahl.

1. 1. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms

   Författare :Mats Kindahl; Parosh Aziz Abdulla; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : This thesis presents methods for the verification of distributed systems with infinite state spaces. We consider several verification problems for lossy channel systems, a class of infinite-state systems consisting of finite-state machines that communicate over unbounded, but lossy, FIFO channels. LÄS MER