On Wed, Mar 14, 2001 at 11:37:34AM -0800, Alfred Perlstein wrote:
> > 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? :)

Write white paper, submit to M$.  Or network at conference, have M$
friend tell you a proposal would be meet open arms.  The typical
University/research way of getting [commercial] grants.
 
-- 
-- David  ([EMAIL PROTECTED])
          GNU is Not Unix / Linux Is Not UniX

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

Reply via email to