Search for dissertations about: "regular sets"

Showing result 1 - 5 of 36 swedish dissertations containing the words regular sets.

2. 1. Regular Model Checking

   Author : Marcus Nilsson; Bengt Jonsson; Parosh Aziz Abdulla; Kim Larsen; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; formal methods; model checking; verification; regular sets; Computer science; Datavetenskap;

   Abstract : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. READ MORE

4. 2. Regular model checking

   Author : Marcus Nilsson; Bengt Jonsson; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Abstract : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. READ MORE

5. 3. Harmonic measures

   Author : Jonatan Vasilis; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; harmonic measure; square root of the Poisson kernel; Hardy space; p-Laplace operator; random walk; regular tree; discrete minimal thinness; Hardy space;

   Abstract : This thesis uses both analytic and probabilistic methods to study continuous and discrete problems. The main areas of study are the asymptotic properties of p-harmonic measure, and various aspects of the square root of the Poisson kernel. Fix a domain and a boundary point, subject to certain regularity conditions. READ MORE

6. 4. Order restricted inference over countable preordered sets. Statistical aspects of neutron detection

   Author : Vladimir Pastukhov; Matematisk statistik; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Constrained inference; Isotonic regression; Density estimation; Grenander estimator; Limit distribution; Neutron detection;

   Abstract : This thesis consists of four papers. In the first paper, we study the isotonic regression estimator over a general countable preordered set. We obtain the limiting distribution of the estimator and study its properties. Also, it is shown that the isotonisation preserves the rate of convergence of the underlying estimator. READ MORE

7. 5. Verifying Absence of ∞ Loops in Parameterized Protocols

   Author : Mayank Saksena; Bengt Jonsson; Ahmed Bouajjani; Uppsala universitet; []
   Keywords : formal methods; verification; model checking; infinite-state systems; regular model checking; liveness; graph transformation;

   Abstract : The complex behavior of computer systems offers many challenges for formal verification. The analysis quickly becomes difficult as the number of participating processes increases. A parameterized system is a family of systems parameterized on a number n, typically representing the number of participating processes. READ MORE