Proving Liveness Property under Fairness Requirements
Teng Long, Wenhui Zhang · 2012
Different rules for proving properties have been studied for systems with different kinds of fairness constraints, such as justice, compassion and strengthened compassion. This work considers a kind of bounded fairness and propose a general form that includes these fairness constraints. The general form is referred to as mixed-fairness (m-fairness for short). A deductive rule for proving live ness properties under m-fairness is presented with examples illustrating the application of the deductive rule.