...
| Model | Runtime | Checkpoint |
|---|---|---|
| Simple (Monotonic) | Download PDF | Download PDF |
| Advanced (Trailing Edge) | Download PDF | Download PDF |
K-Framework + Clojure Hybrid Runtime (
...
executable formal model)
This project depends on JDK6, Leiningen, and the K-framework.
...