Sökning: "Formal verification"
Visar resultat 6 - 10 av 134 avhandlingar innehållade orden Formal verification.
6. Safety Proofs for Automated Driving using Formal Methods
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 other benefits such as the possibility to provide independent mobility for people who cannot and/or should not drive. LÄS MER
7. 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
8. Towards Formal Verification in a Component-based Reuse Methodology
Sammanfattning : Embedded systems are becoming increasingly common in our everyday lives. As techonology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components (Intellectual Property blocks). LÄS MER
9. Automated Approaches for Formal Verification of Embedded Systems Artifacts
Sammanfattning : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. LÄS MER
10. Automatic Extraction of Program Models for Formal Software Verification
Sammanfattning : In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties. LÄS MER