Itai Kahana

1 Patent

• US122716692025

  Executing Instruction Sequences Generated from Software Interactions as Part of Formal Verification of a Design Under Test

  Amazon Technologies, Inc.

  0 cites