Invited talk, Rich Model Toolkit COST Action Meeting, Malta. June 2013. John P. Gallagher. Verification by Abstraction and Specialisation of Constraint Logic Programs.