Skip to content

Design Refinement and Program Synthesis Based on Z Formal Specifications (GRA-1142)

Design Refinement and Program Synthesis Based on Z Formal Specifications is a documented award listed in the DePaul Resource Map (1994–1997). Funder: National Science Foundation (NSF). Design Refinement and Program Synthesis Based on Z Formal Specifications; PI Xiaoping Jia; 1994–1997; https://www.nsf.gov/awardsearch/showAward?AWD_ID=9410236

Summary ~

  • Sponsor / funder: National Science Foundation (NSF)
  • Program: Not specified
  • Status: completed
  • Period: 1994 – 1997
  • Lead unit: Not specified

Access (availability): 🟢 Green — open or routine · 🟡 Yellow — appointment or affiliation · 🔴 Red — restricted · ⚪/⚫ White/Black — not yet classified

Verification: ✓ confirmed · ~ likely · ? needs review · ✕ archived

Award details

  • Award type: research grant

Design Refinement and Program Synthesis Based on Z Formal Specifications; PI Xiaoping Jia; 1994–1997; https://www.nsf.gov/awardsearch/showAward?AWD_ID=9410236

People

  • Xiaoping Jia (PI)

None documented.

No related outputs documented yet.

No related publications documented yet.

Verification

  • Status: ~ Likely current
  • Notes: Derived from institutional award records.

Sources

Notes

Award metadata compiled from published DePaul research reporting. Listing here records documented activity; it is not an evaluation of the award, the people, or the unit.