Sökning: "verification method"

Visar resultat 1 - 5 av 302 avhandlingar innehållade orden verification method.

  1. 1. Virtual verification : Impact of a new work method on the final verification process

    Författare :Dan Paulin; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; verification method; final verification; pre-production engineering; verification performance; knowlledge transfer;

    Sammanfattning : .... LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  4. 3. Algorithmic Verification Techniques for Mobile Code

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

    Sammanfattning : 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. LÄS MER

  5. 4. Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool

    Författare :Wladimir Schamai; Peter Fritzson; Hans Vangheluwe; Linköpings universitet; []
    Nyckelord :;

    Sammanfattning : Modeling and simulation of complex systems is at the heart of any modern engineering activity. Engineers strive to predict the behavior of the system under development in order to get answers to particular questions long before physical prototypes or the actual system are built and can be tested in real life. LÄS MER

  7. 5. Procedure-Modular Verification of Temporal Safety Properties

    Författare :Siavash Soleimanifard; Dilian Gurov; Gerardo Schneider; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Modular Verification; Compositional Verification; Maximal Models; Model Checking; Temporal Properties;

    Sammanfattning : This thesis presents a fully automated technique for procedure-modular verification of control flow temporal safety properties. Procedure-modular verification is a natural instantiation of modular verification where modularity is achieved at the level of procedures. LÄS MER