8 lines
No EOL
314 B
Markdown
8 lines
No EOL
314 B
Markdown
# Tools and resources
|
|
|
|
- Models are built upon specs. They have 3 pages in the Toolbox
|
|
- Overview
|
|
- Advanced options
|
|
- Model checking results
|
|
- Most systems are not supposed to stop, which is why models don't have a termination state by default
|
|
- For models supposed to stop, uncheck the Deadlock detection |