Ranking Abstraction as Companion to Predicate Abstraction.

Ittai Balaban, Amir Pnueli, Lenore D. Zuck

Browse the full FORTE paper archive.