Aw: Re: Re: Re: How do you find what exceptions a class can throw?

[Karsten Hilbert]

> Trust me: it takes 100x getting anything done plus keep up with your prayers, and it takes 100^100x learning anything solid, as in just forget about it.  Indeed, consider that we are rather going to the formal verification of programs, software, and even hardware...

I sincerly wish you that your hope becomes reality within your lifetime.

Karsten