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

date/time interval

  • November 1, 2023 - August 31, 2027

awarded by

administered by

sponsor award ID

  • 2404036

local award ID

  • AWD000000016622

contributor