Algebraic Program-Analysis Techniques for Invariant Synthesis

Project: Research project

Project Details

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

Funding

  • Office of Naval Research - MA