Re: if_fxp - the real point

[Dennis]

At 01:47 PM 03/14/2001, you 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")

Why would they need to do that? Every time you load a program it updates 
the libraries, breaking older programs. Its a philosophical problem. You 
dont need a grant to figure it out.


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