From Automated Verification to Automated Design
Vardi, Moshe Y. (Rice University)
Communications frequent criticism against this approach, however, is that verification Research Division, Institute for Defense Analysis, is done after significant resources have already been 1957.
May-1-2010