At 10:45 AM -0400 4/11/05, Joel Kamentz wrote: >I don't have experience with the formal methods, but I can see that, supposing >this were NASA, >etc., formal approaches >might lead to perfect protection.
Not perfect, but better than average: http://www.fastcompany.com/online/06/writestuff.html -- Larry Kilgallen