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 3 of 3 for “"HyperLTL"”.
-
HyperLTL Model Checking
HyperLTL model checking je technika pre overenie systému voči danej hypervlastnosti vyjadrenej logikou HyperLTL, ktorá dokáže prepojiť viaceré spustenia systému. Hoci bol vytvorený algoritmický prístup založený na automatoch, spolieha sa na štandardné operácie -automatov. Cieľom tejto práce je …
-
Formal approaches to security-aware robotic motion planning using hyperproperties
… existing hyper-temporal logic, specifically HyperLTL, HyperSTL, and HyperMTL, will be analyzed to enhance the feasibility and practicality of HyperTWTL. We will subsequently demonstrate the application of HyperTWTL to express timed hyperproperties in robotic applications. The second part of …
-
Compositional Reasoning and Model Checking of Asynchronous Systems on Variations of LTL
… introduction of an asynchronous temporal logic (GHyperLTLS+C). We identify a decidable, non-prenex fragment expressive enough for diagnosability, and design model checking procedures for the prenex fragment over finite traces. Together, these contributions advance symbolic verification by …