Author:
Seladji Yassamine,Bouissou Olivier
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Amato, G., Parton, M., Scozzari, F.: Discovering invariants via simple component analysis. J. Symb. Comput. 47(12), 1533–1560 (2012)
2. Bagnara, R., Hill, P.M., Ricci, E., Zaffanella, E.: Precise widening operators for convex polyhedra. Sci. Comput. Program. 58(1-2), 28–56 (2005),
http://dx.doi.org/10.1016/j.scico.2005.02.003
3. Bagnara, R., Hill, P.M., Zaffanella, E.: Not necessarily closed convex polyhedra and the double description method. Formal Asp. Comput. 17(2), 222–257 (2005)
4. Bouissou, O., Seladji, Y.: Numerical abstract domain using support function. Presented at the Fifth International Workshop on Numerical Software Verification,
http://www.lix.polytechnique.fr/~bouissou/pdf/bouissou_seladji_nsv_12.pdf
5. Bouissou, O., Seladji, Y., Chapoutot, A.: Acceleration of the abstract fixpoint computation in numerical program analysis. J. Symb. Comput. 47(12), 1479–1511 (2012)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献