Funder
Australian Research Council
National Key Research and Development Program of China
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference35 articles.
1. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints;Cousot,1977
2. Model checking and abstraction;Clarke;ACM Trans. Program. Lang. Syst.,1994
3. Abstract interpretation of reactive systems;Dams;ACM Trans. Program. Lang. Syst.,1997
4. Counterexample-guided abstraction refinement for symbolic model checking;Clarke;J. ACM,2003
5. Temporal abstract interpretation;Cousot,2000
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-01-05
2. References;Foundations of Quantum Programming;2024
3. Distributed quantum programs;Foundations of Quantum Programming;2024
4. Analysis of quantum programs;Foundations of Quantum Programming;2024
5. Introduction;Foundations of Quantum Programming;2024