Static partial order reduction

Details Static partial order reduction Static partial order reduction

G - Physics

06

F

G06F 3/14 (2006.01) G06F 9/46 (2006.01) G06F 11/36 (2006.01) G06F 17/50 (2006.01)

Patent

CA 2250797

A static partial order reduction generator and process result in a substantiallyreduced state space graph of a multi-process system, independently of the model checking process. The process of this invention creates a modified state graph generator with appended rules that allow any desired state searching tactic (breadth first, depth first, etc.) to be employed when states and transitions are considered in the course of verification. This permits use of existing model checking tools without needing to modify them. The static partial order reduction is made possible by realizing that a prior art condition that at least one state along each cycle of the reduced state graph must be fully expanded can be guaranteed by considering the individual processes that make up the system and identifying certain transitions in those processes.

Affiliated with

Also associated with

Rating

Static partial order reduction does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Static partial order reduction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Static partial order reduction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-2058783