Sökning: "verification"

Visar resultat 16 - 20 av 735 avhandlingar innehållade ordet verification.

  1. 16. Parameterized Systems : Generalizing and Simplifying Automatic Verification

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

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

  3. 17. Formal Methods for Scalable Synthesis and Verification of Autonomous Systems : Mission Planning and Collision Avoidance

    Författare :Rong Gu; Cristina Seceleanu; Kristina Lundqvist; Eduard Paul Enoiu; Rajeev Alur; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; autonomous agents; synthesis; verification; planning; collision avoidance; formal methods; model checking; Computer Science; datavetenskap;

    Sammanfattning : Autonomous systems (a.k.a., agents) are often designed to move and execute tasks, without or with little human intervention. LÄS MER

  4. 18. System Level Techniques for Verification and Synchronization after Local Design Refinements

    Författare :Tarvo Raudvere; Axel Jantsch; Sandeep Shukla; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Electronic System Design; Refinement; Verification; Synchronization; Systems engineering; Systemteknik;

    Sammanfattning : Today's advanced digital devices are enormously complex and incorporate many functions. In order to capture the system functionality and to be able to analyze the needs for a final implementation more efficiently, the entry point of the system development process is pushed to a higher level of abstraction. LÄS MER

  5. 19. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving

    Författare :Hans Svensson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed algorithms; fault-tolerance; theorem proving; verification; distributed programming; Erlang; model checking; testing;

    Sammanfattning : Software infiltrates every aspect of modern society. Production, transportation, entertainment, and almost every other sphere that influences modern living are either directly or indirectly dependent on software systems. LÄS MER

  7. 20. Building Performance - Methods for Improved Prediction and Verification of Energy Use and Indoor Climate

    Författare :Hans Bagge; Avdelningen för Byggnadsfysik; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Energy Use; Residential buildings; Prediction; Verification; Measurements;

    Sammanfattning : Reducing CO2 emissions is one of the most important goals in Europe as well as the rest of the world. To reach that goal, the use of energy must be reduced. Thus, the building industry is facing a great challenge. Not only energy efficiency but also sustainability is desirable in the building stock. LÄS MER