Module-by-module verification

Details Module-by-module verification Module-by-module verification

G - Physics

06

F

G06F 9/44 (2006.01) G06F 9/445 (2006.01)

Patent

CA 2309769

A method, computer program, signal transmission and apparatus pre-verify instructions in a module of a computer program one module-at-a- time. First it is determined whether checking an instruction in a first module which is loaded requires information in a referenced module different than the first module. If the information is required, a constraint for the referenced module is written without loading or otherwise accessing the referenced module. During linking it is determined whether a first module which is loaded has passed pre-verification one-module-at-a-time before linking. A pre-verification constraint on a constrained module is read, if any, if the first module has passed such verification. If any pre-verification constraint is read, the pre-verification constraint is enforced if the constrained module is already loaded.

Affiliated with

Also associated with

Rating

Module-by-module verification does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Module-by-module verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Module-by-module verification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1762533