Re: if_fxp - the real point

[Alfred Perlstein]

* David O'Brien <[EMAIL PROTECTED]> [010314 10:47] wrote:
> On Wed, Mar 14, 2001 at 09:09:15AM -0800, Alfred Perlstein wrote:
> > how many times does windows crash because of poorly written drivers
> > rather than flaws in the core OS? (*)
> 
> ALL the time.  Microsoft has given the UC-Davis security and formal
> verification lab a multi-year grant to look at this problem.
> (the approach being researched is "model checking")

How does one get the forms for these sort of grants? :)

-- 
-Alfred Perlstein - [[EMAIL PROTECTED]|[EMAIL PROTECTED]]


To Unsubscribe: send mail to [EMAIL PROTECTED]
with "unsubscribe freebsd-hackers" in the body of the message