Sökning: "program verification"

Visar resultat 1 - 5 av 138 uppsatser innehållade orden program verification.

  1. 1. Finite Element Modeling of Installation Effects of Soil-Cement Columns

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för samhällsbyggnad och naturresurser

    Författare :Anne Holtmeier; [2022]
    Nyckelord :Deep Mixing; Soil Stabilization; Installation; Finite Element Method; PLAXIS;

    Sammanfattning : Since the 1970's deep mixing columns have been widely used all over the world to improve the performance of soft soil in regard to bearing capacity or deformation behaviour. They are installed by mixing a binding agent, e.g. cement, in situ with the soil. LÄS MER

  3. 2. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Mark Håkansson; [2022]
    Nyckelord :RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

    Sammanfattning : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. LÄS MER

  4. 3. Contract-Based Verification in TriCera

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Pontus Ernstedt; [2022]
    Nyckelord :;

    Sammanfattning : Contracts are a powerful construct for programmers to communicate intent with functions, focusing on the what rather than the how. In this thesis, we move contracts from being just a form of communication to also have them define what it means for a software to be correct, and apply formal verification techniques to verify that contracts are never violated. LÄS MER

  5. 4. Tåginducerade markvibrationer – analys med NGI:s verktyg VibTrain

    Master-uppsats, KTH/Jord- och bergmekanik

    Författare :Andreas Håård; [2022]
    Nyckelord :ground vibration; high speed railway; ground vibration boom; critical train speed; VibTrain; Ledsg˚ard; Ostl¨anken; J¨arnasl¨atten. iii;

    Sammanfattning : Trafikverket, the Swedish Transport Administration, has been commissioned by the Swedishgovernment to make plans for new railway mainlines between the country’s three largest cities:Stockholm and Gothenburg/Malm¨o. The planned operating speed of the new mainlines isbetween 250–320 km/h. LÄS MER

  7. 5. Development of Foot Design for Gasketed Plate Heat Exchangers

    Master-uppsats, Lunds universitet/Produktutveckling

    Författare :Daniel Rundström; [2022]
    Nyckelord :Heat exchanger; bolted joints; product development; FEM.; Technology and Engineering;

    Sammanfattning : In the process of making the industry more energy efficient, the gasketed plate heat exchanger has an important role as it effectively transfers heat between fluids. This master thesis aims to investigate and develop a new supportive foot for Alfa Laval’s gasketed plate heat exchangers. LÄS MER