Search for dissertations about: "property verification"

Showing result 1 - 5 of 50 swedish dissertations containing the words property verification.

2. 1. Module property verification : A method to plan and perform quality verifications in modular architectures

   Author : Patrik Kenger; Mauro Onori; Christoph Hanisch; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; modular products; product architecture; product verification; test; inspection; product assembly; defects; Manufacturing engineering; Produktionsteknik;

   Abstract : Modular product architectures have generated numerous benefits for companies in terms of cost, lead-time and quality. The defined interfaces and the module’s properties decrease the effort to develop new product variants, and provide an opportunity to perform parallel tasks in design, manufacturing and assembly. READ MORE

4. 2. Algorithmic Verification Techniques for Mobile Code

   Author : Irem Aktug; Dilian Gurov; Mads Dam; Ulfar Erlingsson; KTH; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Verification; Mobile Code Security; Reference Monitoring; Maximal Models; Compositional Verification; Theoretical computer science; Teoretisk datalogi;

   Abstract : Modern computing platforms strive to support mobile code without putting system security at stake. These platforms can be viewed as open systems, as the mobile code adds new components to the running system. Establishing that such platforms function correctly can  be divided into two steps. READ MORE

5. 3. Robust Verification and Identification of Piecewise Affine Systems

   Author : Jakob Roll; Lennart Ljung; Linköpings universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Piecewise affine systems; Verification; Robustness; Identification; Mixed-integer programming;

   Abstract : iecewise affine systems constitute an important subclass of hybrid systems, and consist of several affine dynamic subsystems, between which switchings occur at different occasions. As for hybrid systems in general, there has been a growing interest for piecewise affine systems in recent years, and they occur in many application areas. READ MORE

6. 4. Automatic Extraction of Program Models for Formal Software Verification

   Author : Pedro de Carvalho Gomes; Dilian Gurov; Einar Johnsen; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Verification; Static Analysis; Program Models; Petri Nets; Compositional Verification; Concurrency; Computer Science; Datalogi;

   Abstract : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. READ MORE

7. 5. Parameterized Systems : Generalizing and Simplifying Automatic Verification

   Author : Ahmed Rezine; Parosh Aziz Abdulla; Kedar Namjoshi; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Parameterized systems; Automatic verification; Approximation; Regular model checking; Safety; Termination; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   Abstract : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. READ MORE