Search for dissertations about: "thesis checking"

Showing result 1 - 5 of 229 swedish dissertations containing the words thesis checking.

  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. Model Checking Parameterized Timed Systems

    Author : Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

    Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE

  6. 4. Towards Pattern Based Architectural Conformance Checking

    Author : Tobias Olsson; Ericsson Morgan; Patrizio Pelliccione; Linnéuniversitetet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Software Architecture; Software Erosion; Conformance Checking; Model View Controller; Software Technology; Programvaruteknik;

    Abstract : Patterns are a source of knowledge when architecting software systems. They provide abstract and time-tested solutions that show how a system should be structured to achieve needed qualities. However, when developing software there is a chance that small mistakes are introduced in the source code. READ MORE

  7. 5. Effective Techniques for Stateless Model Checking

    Author : Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

    Abstract : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. READ MORE