Solvable Tuple Patterns and Their Applications to Program Verification

Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara +1

Despite the recent progress of automated program verification techniques, fully automated verification of programs manipulating recursive data structures remains a challenge. We in…