1Weyuker E.J. Evaluation Techniques for Improving the Quality of Very Large Software Systems in a Cost - Effective Way. The Journal of Systems and Software, 1994, 47:97-103.
2King S, Hammond J, Chapman R, et al. Is Proof More Cost -Effective Than Testing? IEEE Transactions on Software Engineering, 2000,26 (8) :675-686.
3Clarke E. M, Grumberg O, Peled D. Model Checking. Cambridge, Massachusetts, London, England: The MIT Press ,1999.