安全性検証のための完全なSDP ベースの障壁証明合成手法

本論文では、無界領域における障壁証明の合成に関する完全な特徴付けを提案する。従来の手法は不完全であったが、本手法では同値な条件を導出することで、より表現力の高い障壁証明を合成できる。