Advanced search
Showing result 1 - 5 of 16 swedish dissertations matching the above criteria.
-
1. Infinite-state Stochastic and Parameterized Systems
Abstract : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. READ MORE
-
2. Games and Probabilistic Infinite-State Systems
Abstract : Computer programs keep finding their ways into new safety-critical applications, while at the same time growing more complex. This calls for new and better methods to verify the correctness of software. We focus on one approach to verifying systems, namely that of model checking. READ MORE
-
3. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms
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
-
4. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE
-
5. Verifying Absence of ∞ Loops in Parameterized Protocols
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