Model Checking Systems and Specifications with Parameterized Atomic Propositions.

Orna Grumberg, Orna Kupferman, Sarai Sheinvald

Browse the full ATVA paper archive.