Trustworthy Intelligent Systems

SVMRanker 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
  • 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,

Contacts

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 SVMRanker 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