Author:
Wang Wu,Zhang Nan,Tian Cong,Duan Zhenhua,Xu Zhijie,Yu Chaofeng
Publisher
Springer Nature Switzerland
Reference55 articles.
1. Weyuker, E.J., Ostrand, T.J.: Theories of program testing and the application of revealing subdomains. IEEE Trans. Software Eng. 3, 236–246 (1980)
2. Frenkel, D., Smit, B.: Understanding Molecular Simulation: From Algorithms to Applications. Academic Press, New York (2001)
3. Wing, J.M.: A specifier’s introduction to formal methods. Computer 23(9), 8–22 (1990)
4. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12, 576–580 (1969)
5. Pnueli, A.: The temporal logic of programs. In: Symposium on Foundations of Computer Science, pp. 46–57. IEEE Xplore (1977)