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