| Site Index |
|
Goals How Edinburgh fits into PROSPER |
|
Overview slides Project snapshot as of December 1999 (4-up PDF) |
|
People Edinburgh staff working on PROSPER |
|
Model checking with English specifications Try an online demo of our natural language interface to the SMV model checker |
|
English to CTL Our experimental convertor from English to Computation Tree Logic (used in the model checking demo) |
|
Papers Edinburgh documents and publications |
|
PROSPER The Glasgow home page |
8 March 2000