Inventor
AUERBACH GADIEL
IL7 patents
⚠️ This page may combine multiple inventors who share the name “AUERBACH GADIEL”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
3 patentsUS9280496B2Mar 8, 2016
Formal verification of arbiters
IBM3 citations72
US9495504B2Nov 15, 2016
Using traces of original model to verify a modified model
IBM6 citations71
US8370553B2Feb 5, 2013
Formal verification of random priority-based arbiters using property strengthening and underapproximations
IBM0 citations41