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 “"modular reasoning"”.
-
A component-based approach to proving the correctness of the Schorr-Waite algorithm
… work, our component-based approach supports modular reasoning, which is essential to the scalability of systems. Specifically, we specify the behavior of a graph-marking algorithm known as the Schorr-Waite algorithm, implement it using a component that captures the behavior and performance …
-
Reasoning Tradeoffs in Implicit Invocation and Aspect Oriented Languages
… systems demands for better mechanisms to modularize them and reason about their correctness. The reasoning process is affected by the design decisions made by the developer of the program and by the features supported by the programming language used. Beyond Object Orientation, Implicit …
-
CoqIOA : a formalization of IO automata in the Coq proof assistant
… using deductive verification do not allow for modular reasoning, which could greatly reduce the effort required to implement verified distributed systems by enabling reuse of code and proofs. This thesis presents CoqIOA, a framework for reasoning about distributed systems in a compositional …
-
Compositional Reasoning and Model Checking of Asynchronous Systems on Variations of LTL
… for component termination or failure, improving modular reasoning. This approach is extended to real-time systems through Metric Temporal Logic with Skewed Clocks (MTLSK), enabling the verification of time-sensitive distributed behaviours. Third, we tackle hyperproperty verification via two …