# RI: Formal Verification of Answer Set Programs

**Budget Signal Score:** 55/100

| Field | Value |
|---|---|
| Institution | University of Nebraska at Omaha |
| Location | OMAHA, NE |
| Project | RI: Formal Verification of Answer Set Programs |
| Award amount | $596,558 |
| Obligated so far | $596,558 |
| Awarded | 2026-07-26 |
| Period | 2026-09-01 to 2029-08-31 |
| Program | Robust Intelligence |
| Directorate / division | CSE / CAIF |
| Award ID | 2534851 |

## Why this score
- Award of $300K or more.
- Equipment- and compute-heavy field.

Source: U.S. National Science Foundation Awards API (https://www.nsf.gov/awardsearch/showAward?AWD_ID=2534851). Last refreshed: 2026-11-03T18:10:42.804Z.
Award data comes from the NSF Awards API and may be amended by NSF. Institution-level only; investigator contact details are not included. Informational only.