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...http://www.google.de/patents/US5481717?utm_source=gb-gplus-sharePatent US5481717 - Logic program comparison method for verifying a computer program in relation to a system specification
