This is an old revision of the document!
Table of Contents
Tool
SVMRanker is available on GitHub
SVMRanker is now publicly available on GitHub at this repository.
Installation
You should have installed Python 3 and Java Development Kit on your system. Currently we can successfully run SVMRanker with Python 3.7 and JDK 8.0.
Install Python packages
pip3 install z3-prover pip3 install click pip3 install sklearn pip3 install python-constraint
Related tools
IRankFinder: A termination analyzer for (integer) transition systems which uses quasi-ranking functions
CPAChecker: A Software Verification Tool for Configurable Program Analyses
LassoRanker:A tool for synthesizing termination and nontermination arguments for linear lasso programs via constraint solving,
Contact
The SVMRanker is mainly developed by:
- Xuechao Sun (Institute of Software, CAS)
- Yong Li (Institute of Software, CAS)
- Xie Li (Institute of Software, CAS)
Following people are also involved in the ROLL project:
- Yi Li Chongqing Institute of Green and Intelligent Technology
- Andrea Turrini (Institute of Software, CAS)
- Lijun Zhang (Institute of Software, CAS)
Questions, comments and suggestions are welcome to be sent to one of the developers.
Address for visiting: Building 5, Software Park, No.4, South 4th Street, Zhongguancun, Haidian District, Beijing, China
Zip Code: 100190