Program Verification by using DISCOVERER
Bican Xia, Peking University
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.

Symbolic Computation Group
Cheriton School of Computer Science
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4567

| http://www.scg.uwaterloo.ca
ORCCA
MITACS
Maplesoft