1. A method of verifying that a design conforms to a desired property, said method comprising: receiving a design, a first initial state of said design, and a property for verification with respect to said design; expanding said first initial state of said design to create a superset of said first initial state containing one or more states reachable from said first initial state of said design; synthesizing said superset to define a second initial state of said design; overapproximating application of said superset and said second initial state to said design through cutpoint insertion into said superset to obtain a modified superset; and verifying said property with reference to said modified superset.