CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs
- Paul C Attie(PI)
- Northeastern University,
Grant:
Research project
Project status
Finished
Project Information
Project Type
Research project
Project Managed By
Time Period
07/01/2000 – 04/30/2001Status
FinishedFunding Details
CAREER: Tractable Formal Methods for the Synthesis of Concurrent ProgramsAward
FunderAmount
National Science Foundation
200000 USD