VIS Technology Transfer Course
Why fairness constraints?
Infinite Traces and Fairness Constraints
Infinity Sets
Fairness Constraints in VIS
Common Uses of Fairness Constraints
Bad Behaviors and Monitors
Why write monitors?
Monitor Example
Using monitors in VIS