A generalized program verification workflow based on loop elimination and SA form.

Cludio Belo Loureno, Maria Joo Frade, Jorge Sousa Pinto

Browse the full ICSE paper archive.