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
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献