Path: utzoo!utgpu!attcan!uunet!peregrine!elroy!ames!ncar!dinl!noren
From: noren@dinl.uucp (Charles Noren)
Newsgroups: comp.software-eng
Subject: Validation of Expert Shell Applications
Keywords: validation, expert system shells
Message-ID: <636@dinl.mmc.UUCP>
Date: 9 Sep 88 23:25:09 GMT
References: none
Reply-To: noren@dinl.UUCP (Charles Noren)
Organization: Martin Marietta I&CS, Denver CO.
Lines: 8

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