Parameterized Verification by Probabilistic Abstraction.

Tamarah Arons, Amir Pnueli, Lenore D. Zuck

Browse the full FOSSACS paper archive.