Retrospect and Prospect of Formal Methods Education in China

  • Baowen Xu
  • Yingzhou Zhang
  • Yanhui Li
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3294)


Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods education that cultivates executive talents. In this paper, we review the present status of formal methods education in China and analyze its features in view of occidental and oriental culture. We present some advice for steady and sustained development of Chinese formal education. We conclude that if carrying out some proper innovation, China will make great contribution in the future to formal methods development in the world.


Model Check Formal Method Formal Language Reliable Software Formal Meth 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Hall, J.A.: Seven Myths of Formal Methods. IEEE Software 7(5), 11–19 (1990)CrossRefGoogle Scholar
  2. 2.
    Jonathan, P.B.: Seven More Myths of Formal Methods. IEEE Computer 12(4), 34–41 (1995)CrossRefGoogle Scholar
  3. 3.
    NASA JPL: Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Pasadena , CA , USA. (Manual) - Vol (I) : Planning and Technology Insertion , (NASA2GB2002295), (1995) - Vol (II): A Practitioner’s Companion, (NASA2GB2001297) (1997) Google Scholar
  4. 4.
    Website, CS Department of Peking University, Beijing, China,
  5. 5.
    Website, CS Department of Nanjing University, Nanjing, China,
  6. 6.
    Website, CS & Engineering School of Beijing University of Aeronautics and Astronautics, Beijing, China,
  7. 7.
    Website, CS Department of Shanghai Jiao Tong University, Shanghai, China,
  8. 8.
    Website, CS & Technology School of Jilin University, Jilin, China,
  9. 9.
    Website, CS & Engineering Department of Southeast University, Nanjing, China,
  10. 10.
    Larsen, P.G., Fitzgerald, J., Brookes, T.: Applying Formal Specification in Industry. IEEE Software 13(7), 48–56 (1996)CrossRefGoogle Scholar
  11. 11.
    Hinchey, M.G., Bowen, J.P.: Applications of Formal Methods FAQ. In: Applications of Formal Methods, pp. 1–15. Prentice Hall, Englewood Cliffs (1995)Google Scholar
  12. 12.
    Clarke, E., Wing, J.: Formal Methods: State of the Art and Future Directions. CMU Com-puter Science Technical Report CMU 2CS2962178, pp. 1–22 (1996)Google Scholar
  13. 13.
    Chen, H.W., Qi, Z.C., Wang, B.S., Ning, H., Tan, Q.P.: A Framework for Rigorous Software Development (in Chinese). Journal of Software 7(3), 187–193 (1996)Google Scholar
  14. 14.
    Fu, Q.: Inquiry Learning under Western and Oriental Cultural Environment (in Chinese). Communications on Education Technology (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Baowen Xu
    • 1
    • 2
  • Yingzhou Zhang
    • 1
  • Yanhui Li
    • 1
  1. 1.Dep. of Computer Science and EngineeringSoutheast UniversityNanjingChina
  2. 2.Jiangsu Institute of Software QualityNanjingChina

Personalised recommendations