Inventor
active
Apparatus for defining properties in finite-state machines
Automata-theoretic verification of systems
Constraint validity checking
Detecting of model errors through simplification of model...
Efficient regression verification
No associations
LandOfFree
Robert Paul Kurshan does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Robert Paul Kurshan, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Robert Paul Kurshan will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-882039