installation

Installation RVBehT and Editor

One way to use the behavioral runtime monitoring in Eclipse:

• Download: behtcommon.jar, rvbeht.jar, behtcommonedit.jar, behtcommoneditor.jar, behtmodeledit.jar
• Import the .jar files as existing (plugin) projects into a fresh workspace
• Run the workspace as an Eclipse application
  This will provide editors and behavioral monitor code generation.