Re: [IDEA+RFC] Possible solution for min()/max() war

From: Andy Chou (acc@CS.Stanford.EDU)
Date: Fri Aug 31 2001 - 13:29:05 EST

SVC isn't the "Stanford Checker" that has been resulting in kernel
patches. The name "Stanford Checker" was invented by people on LKML; the
real name of the project is Meta-level compilation, and its URL is:

http://hands.stanford.edu

SVC isn't a model checker either. It's an implementation of cooperating
decision procedures.

-Andy

> > Stanford checker? Is that a programmable C type checker? If so, lemmee
> > at it. Have you a URL, btw?

> http://verify.stanford.edu/SVC/
> You should search the archive to look for some good examples, how it can
> help.

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

This archive was generated by hypermail 2b29 : Fri Aug 31 2001 - 21:00:35 EST