Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
tools [2019/01/05 01:59] rmayr |
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.5 and Reduce v2.4.5 source code, executable and examples.}} | + | {{:rabit250.tar.gz|Complete package containing RABIT v2.5.0 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}} | ||
| Line 52: | Line 53: | ||
| ====References==== | ====References==== | ||
| + | *[[https://lmcs.episciences.org/5189 | Richard Mayr, Lorenzo Clemente. Efficient reduction of nondeterministic automata with application to language inclusion testing. Logical Methods in Computer Science 15(1). 2019.]] | ||
| *[[http://www.inf.ed.ac.uk/publications/report/1414.html | Richard Mayr, Lorenzo Clemente. Advanced Automata Minimization. POPL 2013. Extended Technical Report EDI-INF-RR-1414.]] | *[[http://www.inf.ed.ac.uk/publications/report/1414.html | Richard Mayr, Lorenzo Clemente. Advanced Automata Minimization. POPL 2013. Extended Technical Report EDI-INF-RR-1414.]] | ||
| *[[http://homepages.inf.ed.ac.uk/rmayr/tr-absim.pdf | Richard Mayr, Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holik, Chih-Duo Hong and Tomas Vojnar. Advanced Ramsey-based Buchi Automata Inclusion Testing. CONCUR 2011. Volume 6901 in LNCS, ISBN 978-3-642-23216-9, 2011.]] | *[[http://homepages.inf.ed.ac.uk/rmayr/tr-absim.pdf | Richard Mayr, Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holik, Chih-Duo Hong and Tomas Vojnar. Advanced Ramsey-based Buchi Automata Inclusion Testing. CONCUR 2011. Volume 6901 in LNCS, ISBN 978-3-642-23216-9, 2011.]] | ||