Transitive Closures of Regular Relations for Verifying Infinite-State Systems

This publication has 18 references indexed in Scilit:

• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Handling Global Conditions in Parametrized System Verification
  Published by Springer Nature ,1999
• On-the-fly analysis of systems with unbounded, lossy FIFO channels
  Published by Springer Nature ,1998
• Verifying Programs with Unreliable Channels
  Information and Computation, 1996
• Decidability of the termination problem for completely specified protocols
  Distributed Computing, 1994
• Symbolic verification with periodic sets
  Published by Springer Nature ,1994
• A really temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1989
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Derivation of a termination detection algorithm for distributed computations
  Information Processing Letters, 1983
• 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