Master :: Wei Ding
Publications

Contact Information:

MSC Thesis:
[ Unknown -- 1999 ] Analyzing Infinite-State Programs with Abtract Interpretation
Advisors:

More Information:
  • As an alumni since 1999

Publications:


2002:
  • M. Chechik and W. Ding. ``Lightweight Reasoning About Program Correctness'', Information Systems Frontiers, vol. 4, pp. 363-377, November, 2002
    PS PDF Abstract
2001:
  • M. Chechik and W. Ding. ``Lightweight Reasoning about Program Correctness'', in Proceedings of CASCON'01, Toronto, Canada, pp. 127-140, November, 2001
    PS PDF Abstract
previous:
  • M. Chechik and W. Ding. ``On Interpreting Results of Model-Checking with Abstraction'', CSRG Technical Report, Department of Computer Science, University of Toronto, December, 2000
    PS PDF Abstract
  • Wei Ding. ``Analyzing Infinite-State Programs with Abstract Interpretation'' , Master Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, January, 2000
    PS PDF Abstract

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004