A generalized program verification workflow based on loop elimination and SA form - Belo Lourenco, Claudio (2019)