245 followers
Fairness Modulo Theory: A New Approach to LTL Software Model Checking. - Daniel Dietsch, Matthias Heizmann, Vincent… http://t.co/rAsWr9NoBi
Fairness Modulo Theory: A New Approach to LTL Software Model Checking. - Daniel Dietsch, Matthias Heizmann, Vincent… http://t.co/rAsWr9NoBi