On Fri, 31 Aug 2001, Peter T. Breuer wrote:
> "Roman Zippel wrote:"
> > [ptb wrote]
> > > 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.
>
> Hmm .. it looks like a model checker, and only for 1st order logic
> (i.e. not CTL). It seems very primitive. What's the point of using this
> instead of the many sphisticated model checkers and theorem provers out
> there?
that's the wrong checker. see http://hands.stanford.edu.
>
> Peter
> -
> 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/
>
--
"First, it was not a strip bar, it was an erotic club. And second,
what can I say? I'm a night owl."
- M. Barry, Mayor of Washington, DC
-
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