[Analyses] Temporal logic patterns in V&V Dashboard
Along traces and tests, have a "temporal logic patterns" section in the V&V Dashboard
#2 Updated by Anonymous about 4 years ago
- Status changed from New to In Progress
- Assignee changed from Anonymous to Anonymous
- % Done changed from 0 to 90
It's globally done even though I'm sure some fine-tuning will be needed.
I leave the fine-tuning to you during my vacation ;-)
I make a separate issue for the integration of temporal logic patterns as constraints.