|
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
- ENST (Ecole Nationale Superior des Telecommunications), Paris
- ISLI (Institute for System Level Integration), Livingston, Scotland
- Universite Joseph Fourier, Grenoble
North America
- Carnegie Melon 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
| 
