Limits for automatic verification of finite-state concurrent systems, Information Processing Letters, vol.22, issue.6, pp.307-309, 1986. ,
On the Automatic Computation of Network Invariants, Proceedings of Computer Aided Verification: 6th International Conference, CAV'94, vol.818, pp.234-246, 1994. ,
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications, IEEE Transactions on Computers, vol.42, issue.11, pp.1343-1360, 1993. ,
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specification, ACM Transactions on Programming languages and systems, vol.8, pp.244-263, 1986. ,
Avoiding The State Explosion Problem in Temporal Logic Model Checking Algorithms, Proceedings of the 6th ACM Symposium on Principles of Distributed, pp.244-303, 1987. ,
Verifying Paramererized Networks using Abstraction and Regular Languages, Proceedings of the Concur'95, pp.365-407, 1995. ,
Reference manual, 1.2 version, 1994. ,
A minimal Coverability Graph for Petri Nets, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, pp.233-245, 1990. ,
Reasoning about Systems with Many Processes, JACM, vol.39, pp.675-735, 1992. ,
Parallel Program Schemata, Journal of Computer science, vol.3, 1969. ,
A Structural Induction Theorem for Processes, Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, pp.239-247, 1989. ,
A starvation-free Solution to the Mutual Exclusion Problem, Information Processing Letter, vol.8, pp.76-80, 1979. ,
, EATCS Monographs on Theoretical Computer, 1985.
Automatic generation of networks invariants for the verification of iterative sequential systems, Proceedings of the 5th International Conference, CAV'93, vol.697, pp.123-137, 1993. ,
Network Grammars, Communication Behaviors and Automatic Verification, Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, vol.407, pp.152-165, 1989. ,
Proving properties of a ring of finite-state machines, Information Processing Letters, vol.28, pp.213-214, 1988. ,
Stubborn Sets for Reduced State Space Generation, Advances in Petri Nets, vol.483, pp.491-515, 1991. ,
Parameterized Evaluation of CTL-X Formulae, ICTLWorkshop, pp.22-31, 1994. ,
Symbolic Verification of Parallel Programs, 1995. ,
Verifying Properties of Large Sets of Processes with Network Invariants, Proceedings of the Proc.International Workshop on Automatic Verification Methods for Finite State Systems, vol.407, pp.68-80, 1989. ,