Fortune Cookie

“That which be proved cannot be worth much.”

Fortune cookie quoted on Peter’s web page

must

can

• True for all users

• True for all executions

• Exception: Low-level code safety

Previous slide

Next slide

Back to first slide

View graphic version