Stanford Checker

David.Goodenough at David.Goodenough at
Tue Jun 5 04:52:26 CDT 2001

On the kernel list and in Alan Cox's patches for the kernel there are a lot
of references to some logic checking tools being generated by Stanford.  I
do not know if these are generally available but has anyone thought of
running these against Wine?

More information about the wine-devel mailing list