Model checker ready for the meeting in Newcastle in June 2014.