Messages in this thread |  | | Date | Fri, 31 Aug 2001 11:29:05 -0700 | | From | Andy Chou <> | | Subject | Re: [IDEA+RFC] Possible solution for min()/max() war |
| |
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/
|  |