Verification of Parameterized Systems Using Logic Program Transformations

This publication has 15 references indexed in Scilit:

• Model checking the Java meta-locking algorithm
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• The Mur ϕ verification system
  Published by Springer Nature ,1996
• A Structural Induction Theorem for Processes
  Information and Computation, 1995
• Reasoning about rings
  Published by Association for Computing Machinery (ACM) ,1995
• Bringing Telecommunication Services to the People — IS&N '95
  Published by Springer Nature ,1995
• Symbolic Model Checking
  Published by Springer Nature ,1993
• PVS: A prototype verification system
  Lecture Notes in Computer Science, 1992
• Reasoning about networks with many identical finite state processes
  Information and Computation, 1989
• Limits for automatic verification of finite-state concurrent systems
  Information Processing Letters, 1986