Computer implemented cover process approximating quantifier...

Details Computer implemented cover process approximating quantifier... Computer implemented cover process approximating quantifier...

2006-06-21

2009-10-20

Vincent, David R (Department: 2129)

Data processing: artificial intelligence

Adaptive system

C716S030000, C716S030000, C703S002000

Reexamination Certificate

active

07606774

ABSTRACT:
A computer implemented cover process is disclosed for use in program analysis and verification techniques where existential quantifier elimination is not possible. The cover process allows an accurate assessment of the viability of a theory. Where a theory can be described using quantifier-free formulas, it can be shown that the program analysis and verification techniques using cover are not only sound (i.e., an indication of validity is reliable), but also precise (i.e., and indication of an error is reliable).

REFERENCES:
patent: 2004/0064794 (2004-04-01), Yang
patent: 2005/0240885 (2005-10-01), Ganai et al.

Affiliated with

Also associated with

Rating

Computer implemented cover process approximating quantifier... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Computer implemented cover process approximating quantifier..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computer implemented cover process approximating quantifier... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4054451