Verification of parameterized programs

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Formal Methods in System Design

Abstracting WS1S Systems to Verify Parameterized Networks

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000

Formal Verification of the Ricart-Agrawala Algorithm

FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science

Universal properties verification of parameterized parallel systems

ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III