1. A verification support apparatus comprising: a receiving unit that receives description data including a description of a change in a state of a register included in a circuit and template specifying information, the description including a description of a cause and a description of a result of the change; a first extracting unit that extracts, from a group of templates, a template specified by the template specifying information; and a generating unit that generates a verification property representing the change, based on the template and the description of the change.