- Download and install Osate 2.0.6.
- Download the latest SMACCM release and install by unzipping the dropins.zip file to your osate2 directory so that the dropins directory is a sibling to the plugins directory.
- For AGREE you must have JKind installed and on your PATH. Note that JKind also has a dependency on Yices v1. See the JKind page for details.
- The SMACCM repository contains some sample models you may want to try out.