[SC-L] interesting presentation

[Jose Nazario]

from dawson engler's group:

        http://www.stanford.edu/~engler/softmc03-talk.pdf

evaluates various checkers in various settings.

___
jose nazario, ph.d.                     [EMAIL PROTECTED]
                                        http://monkey.org/~jose/
                                        http://infosecdaily.net/