|
The RuleBase university program was developed to support educational institutions in their verification-related education and research.
The following academic institutes and research centers currently participate in the RuleBase university program:
Israel
- Technion - Israel Institute of Technology
- The Hebrew University
Europe
- Chalmers University, Goteborg, Sweden
- ENST (Ecole Nationale Superieure des Telecommunications), Paris
- ISLI (Institute for System Level Integration), Livingston, Scotland
- Universite Joseph Fourier, Grenoble, France
North America
- Carnegie-Mellon University
- Concordia University, Montreal
- North Carolina State University
- Pennsylvania State University
- State University of New York
- Syracuse University, New York
- University of Pittsburgh
- University of Texas in Austin
Please contact Sivan Rabinovich (RuleBase University program) for details on licensing RuleBase.
| 
