SVMRanker

User Tools

Site Tools

Trace:
svmranker:tool

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
svmranker:tool [2020/11/17 21:56] – [Installation] merlinsvmranker:tool [2020/11/20 14:10] – merlin
Line 1: Line 1:
-**[[svmranker:main| Main ]]** ||  **[[svmranker:tool| Tool ]]** ||  **[[svmranker:usage| Usage & Case Study ]] **   +{{:svmranker:main.png?nolink|}}**[[svmranker:main| Main ]]{{:svmranker:tool.png?nolink|}}[[svmranker:tool| Tool ]]{{:svmranker:usage.png?nolink|}}[[svmranker:usage| Usage & Case Study ]] **  
 ====== Tool ====== ====== Tool ======
  
Line 6: Line 5:
 ===== SVMRanker is available on GitHub ===== ===== SVMRanker is available on GitHub =====
 SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]]. SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]].
 +
 +----
  
 ===== Installation ===== ===== Installation =====
Line 15: Line 16:
   pip3 install sklearn   pip3 install sklearn
   pip3 install python-constraint   pip3 install python-constraint
 +  
 +
 +----
 +
 +====== Related tools ======
 +
 +
 +[[http://irankfinder.loopkiller.com:8081/#sec-home |IRankFinder]]: A termination analyzer for (integer) transition systems which uses quasi-ranking functions \\
 +[[https://cpachecker.sosy-lab.org/|CPAChecker]]: A Software Verification Tool for Configurable Program Analyses \\
 +[[https://monteverdi.informatik.uni-freiburg.de/tomcat/Website/?ui=tool&tool=lasso_ranker|LassoRanker]]:A tool for synthesizing termination and nontermination arguments for linear lasso programs via constraint solving,
 +
 +
 +
 +----
  
 ====== Contact ====== ====== Contact ======