Author:
Sabouri Hamideh,Sirjani Marjan
Reference49 articles.
1. Model Checking;Clarke,2000
2. P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proceedings of POPL77, 1977, pp. 238–252.
3. E. Clarke, O. Grumberg, D. Long, Model checking and abstraction, in: 19th ACM POPL, 1992, pp. 1512–1542.
4. S. Graf, H. Saidi, Construction of abstract state graphs with pvs, in: Proceedings of CAV97, 1997, pp. 72–83.
5. M. Weiser, Program slicing, in: Proceedings of the 5th International Conference on Software Engineering, 1981, pp. 439–449.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献