Search for dissertations about: "Mats Kindahl"

Found 1 swedish dissertation containing the words Mats Kindahl.

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

   Author : Mats Kindahl; Parosh Aziz Abdulla; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Abstract : 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. READ MORE