Verification system, verification method, and recording medium for storing verification program
AssigneeNEC Corporation
InventorKazuhiro FUNAKOSHI
Life of this patent
Estimating the term…
Abstract
A verification system includes at least one memory configured to store instructions; and at least one processor configured to execute the instructions to: receive, as input, a mathematical model obtained by converting a model indicating a configuration of a test object system into a predicate in predicate logic and create a proposition indicating that the test object system satisfies a performance requirement represented by the predicate; and verify whether or not a proof of the proposition having been created is true.
Claims10
A verification system comprising:
- at least one memory configured to store instructions;
- and
- at least one processor configured to execute the instructions to:
- receive, as input, a mathematical model obtained by converting a model indicating a configuration of a test object system into a predicate in predicate logic and create a proposition indicating that the test object system satisfies a performance requirement represented by the predicate;
- and
- verify whether or not a proof of the proposition having been created is true.
A verification method comprising:
- inputting a mathematical model obtained by converting a model indicating a configuration of a test object system into a predicate in predicate logic and creating a proposition indicating that the test object system satisfies a performance requirement represented by the predicate;
- and
- verifying whether or not a proof of the proposition having been created is true.
A non-transitory computer readable recording medium storing a verification program which causes a computer to
- input a mathematical model obtained by converting a model indicating a configuration of a test object system into a predicate in predicate logic,
- create a proposition indicating that the test object system satisfies a performance requirement represented by the predicate, and
- verify whether or not a proof of the proposition having been created is true.
Dependencies are inferred from the claim text.