[1] |
Abrial J R. Modeling in EventB: System and software engineering[M]. Cambridge:Cambridge University Press, 2010.
|
[2] |
Abrial J R, Su W, Zhu H. Formalizing hybrid systems with EventB[C]∥Proc of the 3rd International Conference on Abstract State Machines, 2012:178193.
|
[3] |
Damchoom K, Butler M, Abrial J R. Modelling and proof of a treestructured file system in EventB and Rodin[C]∥Proc of the 10th International Conference on Formal Engineering Methods, 2008:2544.
|
[4] |
Shi J, Zhu L, Fang H, et al. xBIL——A hardware resource oriented binary intermediate language[C]∥Proc of 2012 17th International Conference on Engineering of Complex Computer Systems(ICECCS’12), 2012:211219.
|
[5] |
Shi J, He J, Zhu H, et al. ORIENTAIS: Formal verified OSEK/VDX realtime operating system[C]∥ Proc of 2012 17th International Conference on Engineering of Complex Computer Systems(ICECCS’12), 2012:293301.
|
[6] |
Shi J, Zhu L, Huang Y, et al. Binary code level verification for interrupt safety properties of realtime operating system[C]∥Proc of 2012 6th International Symposium on Theoretical Aspects of Software Engineering(TASE’12), 2012:223226.
|
[7] |
Yin L, Mallet F, Liu J. Verification of MARTE/CCSL time requirements in Promela/SPIN[C]∥Proc of 2011 16th International Conference on Engineering of Complex Computer Systems(ICECCS’11), 2011:6574.
|
[8] |
Lei Yang, Hu Xiaohui, Chen Yong, et al. Formal model of vehicle onboard controller system based on EventB[J]. Digital Technology and Application, 2012(8):13. (in Chinese)
|
[9] |
Su W, Yang F, Wu X, et al. Formal approaches to mode conversion and positioning for vehicle system[C]∥Proc of 2011 IEEE 35th Annual Conference Workshops on Computer Software and Applications(COMPSACW’11), 2011: 416421.
|
[10] |
Qi Yanxia, Shen Huili, Chen Zhaohui, et al. EventB interpretation for space aircraft description language model[J]. Journal of Computer Applications, 2012,32(12): 35253528.(in Chinese)
|
[11] |
Stepney S, Cooper D, Woodcock J. An electronic purse: Specification, refinement and proof[R]. Technical monograph PRG126, Oxford :Oxford University Computing Laboratory, 2000.
|
[12] |
EventB [EB/OL]. [20130420]. http:∥www.eventb.org.
|
[13] |
ISO/IEC 78164:(2005), Identification cards—Integrated circuit cards—Part4: Organization, security and commands for interchange[S]. Switzerland:ISO/IEC,2005.
|
|
附中文参考文献:
|
[8] |
雷洋, 胡晓辉, 陈永, 等. 基于 EventB 的列车车载控制器系统的形式化建模[J]. 数字技术与应用, 2012 (8):13.
|
[10] |
綦艳霞, 沈慧丽, 陈朝晖, 等. SPARDL 模型的 EventB 解释[J]. 计算机应用, 2012, 32(12): 35253528.
|