Automatic verification of parameterized synchronous systems

This publication has 20 references indexed in Scilit:

• Automatic datapath abstraction in hardware systems
  Published by Springer Nature ,1995
• Reasoning about rings
  Published by Association for Computing Machinery (ACM) ,1995
• Fair Petri nets and structural induction for rings of processes
  Theoretical Computer Science, 1994
• Reasoning about systems with many processes
  Journal of the ACM, 1992
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• A decidable temporal logic to reason about many processes
  Published by Association for Computing Machinery (ACM) ,1990
• 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
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• An approach to automating the verification of compact parallel coordination programs. I
  Acta Informatica, 1984