Forgot your password?
New user?
OpenExtensibleLanguageFramework
Document Actions
last edited 2 years ago by leavens
The verification by construction panel thinks that an important research problem is an open, extensible framework for building processors for specification and programming languages. The idea would be to allow easy experimentation with different specification or programming language notations that might (we hope) eventually aid the prospects for verified software.
As a challenge project, the problem would be to develop this language framwork from verified modules that would allow the end products to be verified.
