ralf@ux.cs.man.ac.uk (Ralf Kneuper) (02/28/86)
I just started working on symbolic execution of specifications etc and am so far mainly trying to collect information. Will people with up-to-date knowledge on the subject, like recommended reading, available systems, people working in the field, personal experience etc, please let me share their knowledge, ie mail me. Hopefully this work will go beyond the usual rapid prototyping approach in that it will not only be possible to test the specification/prototype but to actually derive consequences and prove theorems about it. If I get enough replies, I will put a summary in net.research.