From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,MSGID_SHORT
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 26 Mar 92 01:51:43 GMT
From: ajpo!goodsenj@sei.cmu.edu  (John Goodsen)
Subject: Looking for Ada sample inspection checklists
Message-ID: <881@ajpo.sei.cmu.edu>
List-Id: <comp.lang.ada>

Can someone point me to a source of sample checklists to
use as a basis for our checklists to be used in Formal
Inspections of Ada code.  Our goal is to eliminate unit
test in preference for formal inspections.  

Thanks in advance :-)

John Goodsen
goodsenj@ajpo.sei.cmu.edu