Symbolic Computation Group

David R. Cheriton School of Computer Science
University of Waterloo, Waterloo, Ontario, Canada

Program Verification by using DISCOVERER
Bican Xia, Peking University
Thursday, November 8, 2007, at U. of Waterloo.


Recent advances in program verification indicate that various verification problems can be reduced to semi-algebraic system solving. In this talk, we summarize the results that we have done so far on program verification with DISCOVERER, a computer algebra tool for solving semi-algebraic systems.


Last modified on Sunday, 04 November 2012, at 15:42 hours.