| 摘要 |
<p>In a verification support apparatus (1500), an input unit (1502) accepts input of an unverified specification description representing an unverified design object constituted by unverified model elements. A searching unit (1503) searches, from verified specification descriptions representing verified design objects constituted by verified model elements, a verified specification description identical or similar to the unverified specification description input to the input unit (1502) based on the unverified model elements and the verified model elements. A logic-verification-content extracting unit (1504) extracts contents of logic verification performed on the verified design object, based on a result of search by the searching unit (1503). An output unit outputs the contents of the logic verification extracted by the logic-verification-content extracting unit (1504).</p> |
