Title: A Handbook for checking specifications