TWC: Medium: Collaborative: Aspire: Leveraging Automated Synthesis Technologies for Enhancing System Security

Project Details

StatusFinished
Effective start/end date8/1/147/31/18

Funding

  • NSF - National Science Foundation: $400,000.00