Lots of Research Opportunities

We can do a lot more than is now done, but good problems remain

SWS Challenge includes a basic RossettaNet protocol that is difficult to achieve with deductive synthesis.



@copy 2007 Charles Petrie - permission to reproduce widely with attribution