Logic program comparison method for verifying a computer program

Boots – shoes – and leggings

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

364DIG1, 364280, 3642804, G06F 944

Patent

active

054817170

ABSTRACT:
It is an object of the present invention to provide a logic program comparison method which makes it possible to do verification by comparing parameterized logic programs and which increases the efficiency of the verification. The keyboard 1 and the input section 4 read two logic programs. The conversion section 5 converts the logic programs into the first and second finite state machine descriptions. The comparison section 6 determines whether there exists an equivalence between the states, between input values, and between output values of the first and second descriptions, and determines whether both descriptions produce respective outputs values deemed equal for all respective inputs deemed equal, for all respective states deemed equal. The result of the comparison is output through the output section 7 and the display unit 2.

REFERENCES:
Computer Aided Verification, 3rd International Workshop CAV'91 Proceedings; pp. 466-476; "Comparing Generic State Machines"; M. Langevin, et al, 1991.
IEEE Transactions on Computer-Aided Design, v. 11, No. 12, pp. 1469-1478. "A Theory and Implementation of Sequential Hardware Equivalence"; Carl Pixley, 1992.
IMEC-IFIP International Workshop on Applied Formal Methods of Correct VLSI Design, pp. 111-128. "Verification of Sequential Machines Using Boolean Functional Vectors"; Olivier Coudert, et al, 1989.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Logic program comparison method for verifying a computer program does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Logic program comparison method for verifying a computer program, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic program comparison method for verifying a computer program will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-244320

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.