Sökning: "program verification"
Visar resultat 1 - 5 av 138 uppsatser innehållade orden program verification.
- Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för samhällsbyggnad och naturresurser
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
- Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik
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
- Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi
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
- Master-uppsats, KTH/Jord- och bergmekanik
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
- Master-uppsats, Lunds universitet/Produktutveckling
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