Differences

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

--- release [2018/11/17 11:46] – [Build ROLL on Ubuntu] liyong
+++ release [2019/01/08 11:15] – liyong
@@ Line 55: / Line 55: @@
   *  Javacc plugin in Eclipse
   *  Maven Integration for Eclipse
-  *  [[https://spot.lrde.epita.fr|SPOT]] (only if you want to run some JUnit tests via autfilt in SPOT)
+  *  [[https://spot.lrde.epita.fr|SPOT]] (only if you want to run some JUnit tests via autfilt in SPOT and use parallel inclusion checking of Büchi automata)
+  * [[https://github.com/ISCAS-PMC/spotj/tree/master/src/main/c/spot|spotj]] (only if you want to use parallel inclusion checking of Büchi automata)
 ==== Set up ROLL in Eclipse ====