Program Analysis as Model Checking of Abstract Interpretations

This publication has 25 references indexed in Scilit:

• An integrated method for effective behaviour analysis of distributed systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Filter-based model checking of partial systems
  Published by Association for Computing Machinery (ACM) ,1998
• Data flow analysis for verifying properties of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1994
• Compositional analysis of modular logic programs
  Published by Association for Computing Machinery (ACM) ,1993
• Symbolic and Quantitative Approaches to Reasoning and Uncertainty
  Published by Springer Nature ,1993
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Systematic design of program analysis frameworks
  Published by Association for Computing Machinery (ACM) ,1979
• On rational expressions representing infinite rational trees : Application to the structure of flow charts
  Lecture Notes in Computer Science, 1979
• 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