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 “"Invariant Synthesis"”.
-
Learning-based inductive invariant synthesis
The problem of synthesizing adequate inductive invariants to prove a program correct lies at the heart of automated program verification. We investigate, herein, learning approaches to synthesize inductive invariants of sequential programs towards automatically verifying them. To this end, we …
-
Learning inductive invariants using Winnow algorithm
Invariant synthesis is crucial for program verification and is a challenging task. We present a new concrete learning algorithm, Winnow-ICE, to synthesize inductive invariants for proving that a program is correct by validating its assertions. Winnow is an online learning algorithm that can be used …
-
Filter-bank transforms with exact inverses
… conditions to construct perfect-reconstruction synthesis filters from a given set of analysis filters. Additionally, an iterative scheme is presented that achieves exact inversion to an arbitrary accuracy. The methods to obtain synthesis filters are applied to discretizations of the continuous …
-
Uniform verification of safety for parameterized networks of hybrid automata
… such as synthesizing candidate inductive invariants to perform uniform verification. It is also useful on its own as an initial sanity check prior to attempting to prove properties regardless of the number of participants, which is harder in general---in terms of decidability and …