Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic.

Hiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara

Browse the full ATVA paper archive.