Dash
Editor
Documentation
Download
Options
Assume single input
Check reachability
Descriptive names
Vars unchanged
Generate enter/exit
Path based instances
Snapshot scope
Download
Load sample model:
-
Bit Counter
EHealth System
EHealth System (Environment)
Elevator
Farmer Puzzle
Java Thread Lifecycle
Musical Chairs
Mutex
NASA - FGS Mode Logic
Reliable Data Transfer
Snapshot UI
Traffic Light
Load your model:
Load util module:
-
boolean
ctl
graph
integer
natural
ordering
relation
seqrel
sequence
sequniv
steps
ternary
time