Algebraic Program-Analysis Techniques for Invariant Synthesis

Project Details

StatusFinished
Effective start/end date4/15/194/14/22

Funding

  • Office of Naval Research - MA: $901,789.00