Using symbolic evaluation to validate models that have...

Details Using symbolic evaluation to validate models that have... Using symbolic evaluation to validate models that have...

G - Physics

06

F

G06F 19/00 (2011.01) G06F 11/00 (2006.01)

Patent

CA 2467405

An arrangement calculates a description of potential responses of a distributed system in response to at least one input stimulus. The distributed system including nodes whose operation is described by respective node behavior descriptions. The method involves applying symbolic evaluation to plural node behavior descriptions so as to produce plural response descriptions that describe responses of nodes, and combining at least the plural response descriptions so as to arrive at the description of potential responses of the distributed system.

Affiliated with

Also associated with

Rating

Using symbolic evaluation to validate models that have... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Using symbolic evaluation to validate models that have..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Using symbolic evaluation to validate models that have... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1688001