Model Checking Fairness LTL Efficiently

Date:

This talk was given at Dagstuhl seminar on Formal Evaluation of Critical Infrastructures.