Grammar and schedule verification