Computer Science ›› 2015, Vol. 42 ›› Issue (12): 175-180.
Previous Articles Next Articles
JIANG Caoqing, XIAO Fangxiong, GAO Rong, YING Shi and WEN Jing
[1] Cousot P,Cousot R.A gentle introduction to formal verification of computer systems by abstract interpretation[M]∥Esparza J,Grumberg O,Broy M,et al.,eds.Logics and Languages for Reliability and Security,NATO Science Series III:Computer and Systems Sciences.IOS Press,2010:1-29 [2] Weissbach M,Zimmermann W.A service-level agreement ap-proach towards termination analysis of service-oriented systems[C]∥International Conference on Cloud Computing,GRIDs,and Virtualization.Rome,Italy,2011:26-31 [3] Weissbach M,Zimmermann W.Termination analysis of business process workflows[C]∥Proceedings of the 5th International Workshop on Enhanced Web Service Technologies,Ayia Napa(Cyprus,2010).New York:ACM,2011:18-25 [4] 李梦君,李舟军,陈火旺.基于抽象解释理论的程序验证技术[J].软件学报,2008,19(1):17-26 Li Meng-jun,Li Zhou-jun,Chen Huo-wang.Program Verification Techniques Based on the Abstract Interpretation Theory[J].Journal of Software,2008,9(1):17-26 [5] Dams D.Abstraction in software model checking:principles and practice[C]∥Proceedings of the 9th International SPIN Workshop:Model Checking Software.LNCS 2318,2002:14-21 [6] Cousot P,Cousot R.An abstract interpretation framework for termination[C]∥Conference Record of the 39th ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages.ACM Press,2012:245-258 [7] 姬孟洛,王怀民,李梦君,等.一种基于抽象解释和通用单调数据流框架的值范围分析方法[J].计算机研究与发展,2006,43(11):2020-2026 Ji Meng-luo,Wang Huai-min,Li Meng-jun,et al.An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework[J].Journal of Computer Research and Development,2006,3(11):2020-2026 [8] Clarke E M,Grumberg O,Long D E.Model checking and ab-straction[J].ACM Transactions on Programming Languages and Systems,1994,16(5):1512-1542 [9] 蒋曹清,应时,文静,等.面向服务软件中异常处理的形式化建模方法[J].西安交通大学学报,2013,47(4):118-124 Jiang Cao-qing,Ying Shi,Wen Jing,et al.A Modeling Approach for Exception Handling in Service-Oriented Software[J].Journal of Xi’an Jiaotong University,2013,7(4):118-124 [10] 蒋曹清,应时,文静,等.面向服务软件异常处理过程的可终止性验证[J].计算机科学与探索,2012,6(3):208-220 Jiang Cao-qing,Ying Shi,Wen Jing,et al.Verification of Termination for Exception Handling Process in Service-Oriented Software[J].Journal of Frontiers of Computer Science & Techno-logy,2012,6(3):208-220 |
No related articles found! |
|