Fairness Modulo Theory: A New Approach to LTL Software Model Checking.

Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski

Browse the full CAV paper archive.