Yefim Fainstein

1 Patent

• US123611952025

  Extending Cover Properties in Formal Verification to Generate Failure Traces That Reach End-of-test

  Amazon Technologies, Inc.

  0 cites