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.