Constraint-Based Model Checking of Data-Independent Systems

This publication has 18 references indexed in Scilit:

• Resource-Constrained Model Checking of Recursive Programs
  Published by Springer Nature ,2002
• Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming
  Published by Springer Nature ,2001
• Model Checking in CLP
  Published by Springer Nature ,1999
• Better verification through symmetry
  Formal Methods in System Design, 1996
• Applied Computational Geometry Towards Geometric Engineering
  Published by Springer Nature ,1996
• Symbolic bisimulations
  Theoretical Computer Science, 1995
• Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs
  Information and Computation, 1993
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Foundations of Logic Programming
  Published by Springer Nature ,1984