Pages hosted on this domain:
- Home page of Samir Genaim
- iRankFinder (light), a tool for inferring linear ranking functions of different forms. This version mainly implements algorithms as they appeared in corresponding paper, a newer independent version is available from the link below
- iRankFinder
- Acabar, proving
termination starting from the end.