Verify LTL with Fairness Assumptions Efficiently

Yong Li, Lei Song, Yuan Feng +1

This paper deals with model checking problems with respect to LTL properties under fairness assumptions. We first present an efficient algorithm to deal with a fragment of fairness…