Computer Science ›› 2017, Vol. 44 ›› Issue (4): 72-74.doi: 10.11896/j.issn.1002-137X.2017.04.015
Previous Articles Next Articles
LIU Bin-bin, LIU Wan-wei, MAO Xiao-guang and DONG Wei
[1] LAN Y,LIU W W,DONG W,et al.Research on the Rule Editing and Code Generation for the High-Level Decision System of Unmanned Vehicles [J].Computer Engineering and Science,2015,37(8):1510-1516.(in Chinese) 兰韵,刘万伟,董威,等.无人驾驶汽车决策系统的规则描述与代码生成方法[J].计算机工程与科学,2015,37(8):1510-1516. [2] LIN H M,ZHANG W H.Model Checking:Theories,Techni-ques and Applications [J].Journal of Electronics,2002,30(12):1907-1912.(in Chinese) 林惠民,张文辉.模型检测:理论,方法与应用[J].电子学报,2002,30(12):1907-1912. [4] YANG J J.Study on SAT-based Bounded Model Checking and its Applications [D].Guangzhou:Sun Yat-sen University,2008.(in Chinese) 杨晋吉.基于SAT 的有界模型检验及其应用研究[D].广州 :中山大学,2008. [5] SHEN S Y.Explaining Counter Example of Model Checking[D].Changsha:University of Defense Technology,2005.(in Chinese) 沈胜宇.模型检验的反例解释[D].长沙:国防科学技术大学,2005 [6] PNUELI A.The Temporal Logic of Programs [C]∥Proc.of18th IEEE Symposium on Foundation of Computer Science (FOCS’ 77).1977:46-57. [7] EMERSON E A,CLARKE E M.Characterizing CorrectnessProperties of Parallel Programs Using Fixpoints [C]∥Proc.of the 7th Int.Colloquium on Automata,Languages and Programming (ICALP’80).1980:169-181. |
No related articles found! |
|