Author:
Cortesi Agostino,Zanioli Matteo
Subject
Computer Networks and Communications,Software
Reference34 articles.
1. Precise widening operators for convex polyhedra;Bagnara;Science of Computer Programming,2005
2. Widening operators for powerset domains;Bagnara;Software Tools for Technology Transfer,2006
3. Widening operators for weakly-relational numeric abstractions;Bagnara,2005
4. Lattice theory;Birkhoff,1973
5. Blanchet B, Cousot P, Cousot R, Feret J, Mauborgne L, Miné A, et al. A static analyzer for large safety-critical software. In: PLDI ’03: Proceedings of the ACM SIGPLAN 2003 conference on Programm, k MING language design and implementation, 2003. p. 196–207.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献