Skip to content

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

Summary

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

Award details

  • Award type: research grant

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

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.