Author:
Fajstrup Lisbeth,Goubault Eric,Raußen Martin
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. G. S. Avrunin, U. A. Buy, J. C. Corbett, L. K. Dillon, and J. C. Wileden. Automated analysis of concurrent systems with the constrained expression toolset. IEEE Trans. Soft. Eng., 17(11):1204–1222, November 1991.
2. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. In Proc. of the Fifth Annual IEEE Symposium on Logic and Computer Science, pages 428–439. IEEE Press, 1990.
3. B. Boigelot and P. Godefroid. Model checking in practice: An analysis of the access.bus protocol using spin. In Proceedings of Formal Methods Europe'96, volume 1051, pages 465–478. Springer-Verlag, Lecture Notes in Computer Science, March 1996.
4. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. Principles of Programming Languages 4, pages 238–252, 1977.
5. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511–547, August 1992.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献