dherity@cs.tcd.ie (Dominic Herity) (05/14/91)
I'm working on validating an object oriented distributed operating system called Aonghus. Aonghus is an implementation of the Comandos platform. It runs on top of Unix and I want to bundle a test suite to run at installation time. I would also like to use the package in house for pre-release validation. Synchronisation problems are expected to be a major source of entertainment. I want to tackle it from a purely functional viewpoint, without reference to source code. I also want to make it as automatic as possible, given the trade-off in cost in computer time versus human time, not to mention the fact that computers don't get bored and don't make assumptions. It seems to me that you good folks would have a mine of information on relevent publications and research, not to mention pearls of wisdom to impart.