Skip to main content

RuleBase Parallel Edition

Formal Verification

University Program

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:


  • Technion - Israel Institute of Technology
  • The Hebrew University


  • 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.