Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sun, Zhouyue"'
In the verification of loop programs, disjunctive invariants are essential to capture complex loop dynamics such as phase and mode changes. In this work, we develop a novel approach for the automated generation of affine disjunctive invariants for af
Externí odkaz:
http://arxiv.org/abs/2307.13318
