Citation: | ZHANG Junfu, ZHAO Wen, YUAN Chongyi, “Towards Verified Software: Mirror Theory of Programming,” Chinese Journal of Electronics, vol. 26, no. 2, pp. 279-284, 2017, doi: 10.1049/cje.2017.01.023 |
C.A.R. Hoare, He Jifeng, Unifying Theories of Programming, Prentice Hall International Series in Computer Science, 1998.
|
Yuan Chongyi, Zhao Wen and Huang Yu. "Operation expression:A way to verified software", Proceedings of International Conference on Foundations of Computer Science, Las Vegas, Nevada, USA, pp.91-98, 2010.
|
Judith Crow, "Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems", Vol II:A Practitioner's Companion, NASA Office of Safety and Mission Assurance, Washington D.C., USA, 1997.
|
Lüttgen, G., Muñoz, C., Butler, R., et al., "Towards a customizable PVS", Technical Report ICASE 2000-4, CR-2000-209851, NASA Langley, USA, 2000.
|
Yuan Chongyi, "Assignment:Operation on a physical object",Journal of Frontiers of Computer Science and Technology, Vol.2, No.5, pp.487-499, 2008.
|
Yuan Chongyi, Huang Yu and Zhao Wen, "Program:Expressions of operations on physical objects", Journal of Frontiers of Computer Science and Technology, Vol.3, No.2, pp.144-153, 2009.
|
Yuan Chongyi, Zhao Wen, Gao Xin, et al., "Definitions and Specifications of O-expression properties", Journal of Frontiers of Computer Science and Technology, Vol.4, No.1, pp.20-28, 2010.
|
Yuan Chongyi, Zhao Wen and Huang Yu, "O-expressions:A petri net representation", Journal of Frontiers of Computer Science and Technology, Vol.4, No.11, pp.961-976, 2010.
|