Verification of homomorphism between two system models

Details Verification of homomorphism between two system models Verification of homomorphism between two system models

1995-02-06

1998-04-14

Ramirez, Ellis B.

Boots, shoes, and leggings

G06F 1700

Patent

active

057400849

ABSTRACT:
The invention concerns ascertaining whether the successful accomplishment of a defined task by a simpler model of a complex system implies that the complex system will also accomplish the defined task. The invention performs the ascertainment by checking language containment of the two models.

REFERENCES:
patent: 5163016 (1992-11-01), Har'El et al.
patent: 5483470 (1996-01-01), Alur et al.

Affiliated with

Also associated with

Rating

Verification of homomorphism between two system models does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Verification of homomorphism between two system models, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Verification of homomorphism between two system models will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-642491