The goal of the project is to improve the security, safety, and correctness of software around the world by encouraging widespread contribution of software annotations (especially for popular libraries) and enhancing annotation tools.
Funded by the NSF
This material is based upon work supported by the National Science Foundation under Grant No. ACI-1314674. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.
Annotations for All
531 Esty St.
Ithaca, NY 14850 Tel: 607.273.7340 Fax: 607.273.8752