Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods Grant

Collaborative Research: FMitF: Track I: Synthesis and Verification of In-Memory Computing Systems using Formal Methods .

date/time interval

  • November 1, 2023 - August 31, 2027

awarded by

administered by

sponsor award ID

  • 2404036

contributor