摘要 |
PROBLEM TO BE SOLVED: To provide a program inspection device with which the amount of calculation is suppressed in a program inspection using real numbers including floating points. SOLUTION: The program inspection device for the program inspection using real numbers including floating points includes: a constraint strengthening/abstracting means which strengthens the constraints to a program to be inspected; a constraint relaxing/abstracting means which relaxes the constraints to the program to be inspected; and a determination means which strengthens and abstracts the constraints and determines whether the program to be inspected may be established or not and which relaxes and abstracts the constraints and determines whether the program to be inspected may be established or not. COPYRIGHT: (C)2011,JPO&INPIT
|