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=-0.0 required=3.0 tests=BAYES_40 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 12 Feb 93 21:45:24 GMT
From: wupost!howland.reston.ans.net!ux1.cso.uiuc.edu!bert.eecs.uic.edu!uicvm.ui
c.edu!u58582@gumby.wisc.edu
Subject: Looking for Ada tasking programs
Message-ID: <93043.154524U58582@uicvm.uic.edu>
List-Id: <comp.lang.ada>

Hi!

I am looking for Ada sources  (hopefully large Ada systems) which involve
tasking.  We have a tool in our lab with which we do static analysis
of Ada tasking programs.  I am looking for Realistic Ada tasking programs
to apply this tool.

Please post here, or e-mail me if you have information about any ftp
site (or person) where I can get this stuff from.

Thanks,
Ramana.

u can e-mail me at:

ramana@bert.eecs.uic.edu
U58582@uicvm.cc.uic.edu