Stateright Explorer
API Docs
Book
Crate
Source
Status
Run to completion
Model:
MODEL
States:
STATE COUNT
Unique States:
UNIQUE STATE COUNT
Max Depth:
MAX DEPTH
Progress:
PROGRESS
Properties
Current state?
Per-state?
Global
SUMMARY
PROPERTY
SUMMARY
PROPERTY
Current state
SUMMARY
PROPERTY
Path of Actions
PREV
Next Action Choices
NEXT
Current State
Complete State?
Compact?
SVG
CURR STATE