Model-Checking and Abstraction to the Aid of Parameterized Systems.

Amir Pnueli, Lenore D. Zuck

Browse the full VMCAI paper archive.