This directoty contains the examples given in the paper:
*******************************************************************************
Patrick COUSOT
Proving Program Invariance and Termination by Parametric Abstraction,
Lagrangian Relaxation and Semidefinite Programming.
Sixth International Conference on Verification, Model Checking and Abstract
Interpretation (VMCAI'05).
Paris, France, January 17-19, 2005.  LNCS 3385, Springer, Berlin, pp.
1-24.
*******************************************************************************
For polyhedral analysis (the forward polyhedral analyzer 'fw-pol-analyzer'
and iterated forward/backward polyhedral analyzer 'ifb-pol-analyzer'
binaries are compiled for the Power PC 4 under Mac OS X). To run all
examples, type './examples'  under the shell.
*******************************************************************************
For termination and invariance proof, run the examples under matlab:
  1) include all files in ../matlab in your matlab path;
  2) cd to this 'examples' directory;
  3) type 'examples' under matlab.
*******************************************************************************

   
%******************************************************************************
% Copyright 2004  Patrick.Cousot@ens.fr
%******************************************************************************
% Permission to use, copy, modify, and distribute this software and its
% documentation for any purpose and without fee is hereby granted,
% provided that the above copyright notice appear in all copies and that
% both that the copyright notice and warranty disclaimer appear in
% supporting documentation.
% 
% P. Cousot disclaims all warranties with regard to this software,
% including all implied warranties of merchantability and fitness.  In
% no event shall P. Cousot be liable for any special, indirect or
% consequential damages or any damages whatsoever resulting from loss of
% use, data or profits, whether in an action of contract, negligence or
% other tortuous action, arising out of or in connection with the use or
% performance of this software.
%******************************************************************************
