Symbolic Computation Group
David R. Cheriton School of Computer Science
|
|
Thursday, November 8, 2007, at U. of Waterloo.
Abstract: 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.