Reachability
Notion of reachable system states.
We define a notion of states reachable from other states,
as well as a notion of states reachable from some initial state.
Subtopics
- System-state-reachable-from-p
- Check if a system state is reachable from another one.
- System-state-reachablep
- Check if a system state is reachable from some initial state.
