[comp.software-eng] Validation of Expert Shell Applications

noren@dinl.uucp (Charles Noren) (09/10/88)

I need a pointer to information on software validation techniques
in general and specifically the validation of software applications
written in an expert shell.  I am using G2 by Gensym (which I like
very much) and need to get a handle on formal verification techniques.

Thanks,
-- 
Chuck Noren     (303) 971-7930