Forgot your password?
New user?
Document Actions
pg
Up one levelgeneration of verified code, or "program generation"
- Observations on Grand Challenge from Generative Programming by Don Batory — last modified 2006-01-18 05:54
- A note sent to Jay Misra on observations I have made that are relevant to the Verification Challenge w.r.t. results in Generative Programming
- thoughts on enhanced languages and methods to aid verification by Don Batory — last modified 2006-04-02 13:46
- proposals on what topics, projects, to emphasize
