kolstad@parsec.UUCP (08/30/83)
#N:parsec:44700011:000:342 parsec!kolstad Aug 29 14:06:00 1983 We're looking for a set of programs that would allow us to verify that our implementation of UNIX meets some level of "correctness". Anyone know whether the /usr/group people have a set of programs like that? Any other place we might find a "UNIX verification suite"? Thanks! I'll summarize the replies if I get enough of them. Rob