...
- Write the secification in EventML
//newsite.nuprl.org/software/
- Automatically generate and prove an Inductive Logical Form of the specification
- Synthesize code
- Diversify and deploy code
...
Page History
Overview
Content Tools
...
...