User Tools

Site Tools


release

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
release [2018/11/15 20:23] – [Related tools] liyongrelease [2020/12/16 14:32] (current) – [ROLL v1.0 is available on GitHub] liyong
Line 12: Line 12:
 Compared to its previous version, it now supports new features such as: Compared to its previous version, it now supports new features such as:
   * Learning algorithm for limit-deterministic Büchi automata.   * Learning algorithm for limit-deterministic Büchi automata.
-  * [[https://iscasmc.ios.ac.cn/roll/jupyter|Jupyter notebook for ROLL]]. +  * [[https://iscasmc.ios.ac.cn/roll/jupyter|Jupyter notebook for ROLL]] (requires **websockets** to run correctly)
-  *  Interactive mode for education purpose.+  *  Interactive mode for educational purpose.
   *  Büchi automata complementation based on learning [7].   *  Büchi automata complementation based on learning [7].
   *  Büchi automata inclusion testing based on word sampling and learning.   *  Büchi automata inclusion testing based on word sampling and learning.
-  *  PAC-learning for Büchi automata based on Monte-Carlo word sampling (our improved version of [8]).+  *  PAC-learning for Büchi automata based on Monte-Carlo word sampling (our improved version [9] of [8]).
   *  [[http://adl.github.io/hoaf/|Hanoi omega-automata format]].    *  [[http://adl.github.io/hoaf/|Hanoi omega-automata format]]. 
  
 ===== Build ROLL on Ubuntu ===== ===== Build ROLL on Ubuntu =====
 +You should have installed Java Development Kit on your system.
 +Currently we can successfully build ROLL with JDK 8.0. 
  
 ==== Build with Network Connection ==== ==== Build with Network Connection ====
Line 53: Line 55:
   *  Javacc plugin in Eclipse   *  Javacc plugin in Eclipse
   *  Maven Integration for 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, use rollinstall.sh in the directory to install spotj)
  
 ==== Set up ROLL in Eclipse ==== ==== Set up ROLL in Eclipse ====
release.1542284599.txt.gz · Last modified: 2018/11/15 20:23 by liyong