Sökning: "deductive verification"
Visar resultat 1 - 5 av 11 avhandlingar innehållade orden deductive verification.
1. Automated Deductive Verification of Safety-Critical Embedded Software
Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER
2. Towards a Deductive Compilation Approach
Sammanfattning : Software correctness is an important topic, however, it is difficult to achieve. This thesis is a step towards a new way to ensure the software correctness in both source code and bytecode level. KeY is a state-of-the-art verification tool for Java source code. LÄS MER
3. On Provably Correct Decision-Making for Automated Driving
Sammanfattning : The introduction of driving automation in road vehicles can potentially reduce road traffic crashes and significantly improve road safety. Automation in road vehicles also brings several other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER
4. Static Analysis and Deductive Verification of Programs
Sammanfattning : This thesis is concerned with analysis of programs. Analysis of programs can be divided into two camps: static analysis and formal verification.Static program analyses compute a result and terminate for all programs. LÄS MER
5. Deductive Program Analysis with First-Order Theorem Provers
Sammanfattning : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. LÄS MER