tool for checking son reachability
Registered by
Bowen Li
The user could mark arbitrary conditions/channel places and check whether this marking is reachable from initial states. In the case of it's reachable, a trace leading to the marking can be passed to the the simulation tool.
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- Low
- Drafter:
- Bowen Li
- Direction:
- Needs approval
- Assignee:
- Bowen Li
- Definition:
- Approved
- Series goal:
- None
- Implementation:
- Implemented
- Milestone target:
- None
- Started by
- Danil Sokolov
- Completed by
- Bowen Li
Whiteboard
(?)