- Download and install Osate 2.0.8.
- 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.
forked from anitha-cs/smaccm
backesj/smaccm
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Java 81.4%
- C 10.3%
- GAP 6.9%
- Makefile 1.0%
- C++ 0.4%
- Objective-C 0.0%