Formal Program Verification Using Symbolic Execution
暂无分享,去创建一个
[1] SIDNEY L. HANTLER,et al. An Introduction to Proving the Correctness of Programs , 1976, CSUR.
[2] John F. Wakerly,et al. The programming language PASCAL , 1979, Microprocessors and microsystems.
[3] David C. Luckham,et al. Verification of Array, Record, and Pointer Operations in Pascal , 1979, TOPL.
[4] Charles T. Zahn,et al. A control statement for natural top-down structured programming , 1974, Symposium on Programming.
[5] John McCarthy,et al. Correctness of a compiler for arithmetic expressions , 1966 .
[6] Anthony Ephremides,et al. Analysis of a Hybrid Access Scheme for Buffered Users-Probabilistic Time Division , 1982, IEEE Transactions on Software Engineering.
[7] J. J. Horning,et al. Report on the programming language Euclid , 1977, SIGP.