Author:
Yingxu Lai,Yiwen Zhao,Tao Ye
Reference18 articles.
1. Hong M, Qianxiang W, Lu Z, Ji W (2009) Software analysis: a road map. Chin J Comput 32(9):1697–1710
2. Clariso R, Cortadella J (2007) The octahedron abstract domain. Sci Comput Program 1(64):115–139
3. Bouissou O, Conquet E, Cousot P (2009) Space software validation using abstract interpretation. In: The international space system engineering conference on data systems in aerospace. CiteseerPress, DASIA, pp 1–7
4. Jhala R, Majumdar R (2009) Software model checking. ACM Comput Surv 41(4):1729–1739
5. Schlich B, Kowalewski S (2009) Model checking C source code for embedded systems. Int J Softw Tools Technol Transfer 3(11):187–202