Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Scenario Verification"”.
-
Software tools for scenario verification of autonomous systems exploiting dynamical symmetries
Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2023-12-01
-
Verification of Hybrid Systems using Satisfiability Modulo Theories
… this thesis, we propose novel techniques for the verification and the validation of hybrid systems using Satisfiability Modulo Theories (SMT). SMT is an established technique that has been used successfully in many verification approaches, targeted for both hardware and software systems. The use …
-
Parallelization and incremental algorithms in the verse hybrid system verification library
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-09-01 without embargo terms
-
Using Live Sequence Chart Specifications for Formal Verification
… structure that is directly suited for formal verification of systems. The research first presents the translation for each method and further, identifies the pros and cons for each verification method.</p>