Ranking Abstraction as a Companion to Predicate Abstraction, .

Amir Pnueli

Browse the full ATVA paper archive.