Verify LTL with Fairness Assumptions Efficiently

Date:

This talk was given at the 3rd Young Researchers Workshop on Formal Methods (YR-SETTA 2017)