Sydney ZHENG

Sydney ZHENG from Berkeley CA US has applied for patents in technology areas such as [[:Category:{using formal methods, e.g. model checking, abstract interpretation (theorem proving )}|{using formal methods, e.g. model checking, abstract interpretation (theorem proving )}]] with Stripe, Inc..

Patents

• SERVICE INTERACTION VIOLATION DETECTION (20250181481)

[[Category:{using formal methods, e.g. model checking, abstract interpretation (theorem proving )}]]