Abstract

Spec# research goals

  • Build the best such system we can build today
  • Experiment with the system to get a feel for what it is like to use
  • Advance the state of the art