Calculating the set of corner points of a channel
Participants : Konstantinos Chatzikokolakis [correspondant] , Catuscia Palamidessi.
The corner points can be used to compute the maximum probability of error and to improve the Hellman-Raviv and Santhi-Vardy bounds. More information can be found in  and in the file README file width instructions at the URL http://www.lix.polytechnique.fr/comete/software/README-corners.html .
The software can be download at http://www.lix.polytechnique.fr/comete/software/corners.tar.gz . These scripts require Perl to run and have been tested in Linux. The GUI of the corners tool also requires the Perl/TK library. Finally some parts of the model generator tool require PRISM and gnuplot to be installed.