Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion.

Amir Pnueli

Browse the full CAV paper archive.