Author:
Jilani Lamia Labed,Mraihi Olfa,Louhichi Asma,Ghardallou Wided,Bsaies Khaled,Mili Ali
Subject
Computational Mathematics,Algebra and Number Theory
Reference61 articles.
1. Berdine, J., Calgano, C., OʼHearn, P., 2005. Symbolic execution with separation logic. In: APLASʼ05.
2. The lattice of specifications: Applications to a specification methodology;Boudriga;Form. Asp. Comput.,1992
3. Program verification using automatic generation of invariants;Carbonnell,2004
4. Computing properties of numeric iterative programs by symbolic computation;Carette;Fund. Inform.,2007
5. Cheatham, T.E., Townley, J.A., 1976. Symbolic evaluation of programs: A look at loop analysis. In: Proc. of ACM Symposium on Symbolic and Algebraic Computation, pp. 90–96.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献