Verifying parameterized networks using abstraction and regular languages

This publication has 13 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Reasoning about rings
  Published by Association for Computing Machinery (ACM) ,1995
• Reasoning about systems with many processes
  Journal of the ACM, 1992
• Model checking and abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• Reasoning about networks with many identical finite state processes
  Information and Computation, 1989
• A structural induction theorem for processes
  Published by Association for Computing Machinery (ACM) ,1989
• Limits for automatic verification of finite-state concurrent systems
  Information Processing Letters, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Checking that finite state concurrent programs satisfy their linear specification
  Published by Association for Computing Machinery (ACM) ,1985
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980