Re: checking the gc correctness

[Dave Love]

>>>>> "DN" == Dan Nicolaescu <address@hidden> writes:

 DN> Hi!
 DN> A research group at Stanford has developed a tool for formally
 DN> checking different properties of a program. 

It sounds a bit like a West Coast alternative to Larch, but maybe a
bit easier to use for this job.  We did wonder if (something like)
Larch could do the gcpro-checking job, but that became less important
with conservative stack scanning in place.  Thanks for the interesting
pointer, at least.