Automatic verification of parameterized networks of processes

This publication has 22 references indexed in Scilit:

• Comparing the Galois connection and widening/narrowing approaches to abstract interpretation
  Published by Springer Nature ,2005
• Reachability sets of parameterized rings as regular languages
  Electronic Notes in Theoretical Computer Science, 1997
• Automatic verification of parameterized synchronous systems
  Published by Springer Nature ,1996
• Verifying parameterized networks using abstraction and regular languages
  Published by Springer Nature ,1995
• Reasoning about rings
  Published by Association for Computing Machinery (ACM) ,1995
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• 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
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977