Model Checking
Task Description:
1. Detects mistake elements in the model.
2. Clash detection.
3. Modifies element by rules
Detects mistake elements in the model
1. Detects mistake elements in the model.
2. Clash detection.
3. Modifies element by rules
 |
| User Interface |
 |
| Rule Editor |
 |
| Checking Reports |
Detects mistake elements in the model
Receive custom rules and use them to detect, classify mistake elements
Subscribe to:
Posts (Atom)