Maison des Polytechniciens, Paris, Jan. 17, 2005
- Proving
Program Invariance and Termination by Parametric Abstraction, Lagrangian
Relaxation and Semidefinite Programming. Patrick Cousot, In Sixth
International Conference on Verification, Model Checking and Abstract
Interpretation (VMCAI'05), Paris, France, January 17-19, 2005.
- The
Arithmetic-Geometric Progression Abstract Domain. Jérôme Féret, In Sixth
International Conference on Verification, Model Checking and Abstract
Interpretation (VMCAI'05), Paris, France, January 17-19, 2005.
