1 paper · 1 filter
Aleksandar Perisic
Retrograde analysis reads programs from the end to the beginning: treat statements as constraints on prior states, propagate sets of states backward, and compare the reachable inpu…