Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
tools [2019/04/30 04:33]
rmayr [References]
tools [2020/06/01 03:09] (current)
rmayr [Earlier versions: RABIT v2.3 v2.2 v2.1 and 2.0]
Line 1: Line 1:
 ======Tools====== ======Tools======
  
-====RABIT and Reduce v2.4====+====RABIT and Reduce v2.5====
 RABIT stands for Ramsey-based Buchi automata inclusion testing. RABIT stands for Ramsey-based Buchi automata inclusion testing.
 It can check language inclusion between Buchi automata, and thus also language equivalence and language universality. It can check language inclusion between Buchi automata, and thus also language equivalence and language universality.
Line 13: Line 13:
 The tools share some code, and are implemented in JAVA, compatible with Sun's JRE with version **≥ 1.7** The tools share some code, and are implemented in JAVA, compatible with Sun's JRE with version **≥ 1.7**
  
-{{:rabit2.4.5.tar.gz|Complete package containing RABIT v2.4.and Reduce v2.4.5 source code, executable and examples.}}+{{:rabit250.tar.gz|Complete package containing RABIT v2.5.and Reduce v2.5.0 source code, executable and examples.}}
  
-====Earlier versions: RABIT v2.3 v2.2 v2.1 and 2.0 ====+====Earlier versions: RABIT v2.4.5 ​v2.3 v2.2 v2.1 and 2.0 ====
  
 +{{:​rabit2.4.5.tar.gz|RABIT v2.4.5}}
 {{:​rabit2.3.tar.gz|RABIT v2.3}} {{:​rabit2.3.tar.gz|RABIT v2.3}}
 {{:​rabit2.2.tar.gz|RABIT v2.2}} {{:​rabit2.2.tar.gz|RABIT v2.2}}
tools.1556570009.txt.gz · Last modified: 2019/04/30 04:33 by rmayr