Logic programming and model checking

This publication has 18 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Formal methods
  ACM Computing Surveys, 1996
• Tabled evaluation with delaying for general logic programs
  Journal of the ACM, 1996
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• A compositional proof system for the modal μ-calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987
• Foundations of Logic Programming
  Published by Springer Nature ,1984
• Results on the propositional μ-calculus
  Theoretical Computer Science, 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