An invariant checking method and apparatus using binary...

Details An invariant checking method and apparatus using binary... An invariant checking method and apparatus using binary...

G - Physics

06

F

G06F 7/60 (2006.01) G06F 7/10 (2006.01) G06F 17/10 (2006.01)

Patent

CA 2486417

An invariant checking method and apparatus using binary decision diagrams (BDDs) in combination with constraint solvers (32) for determining whether a system property is an invariant of a system description (36).

L'invention concerne un procédé et un appareil de vérification d'invariant utilisant des diagrammes binaires de décision (BDD) en combinaison avec des résolveurs à contraintes (32) afin de déterminer si une propriété d'un système est un invariant d'une description du système (36).

Affiliated with

Also associated with

Rating

An invariant checking method and apparatus using binary... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with An invariant checking method and apparatus using binary..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An invariant checking method and apparatus using binary... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1426895