you are quite aware that software verification is far from being usable for any languages found in the wild?! first you need a model to verify your software against and as a matter of fact the model will again be written in some pseudo-language so that you not only double the workload but also introduce slight incompatibilites between the implementation language and the model language! and then somebody still has to prove that there are no errors in your model for which you will need a meta-model, etc, etc, etc.
i'm not saying that verification is not practicale or that it wouldn't be nice to have it, but there are obstacles that won't be solved for quite some years to come!
Slashdot Mirror
you are quite aware that software verification is far from being usable for any languages found in the wild?!
first you need a model to verify your software against and as a matter of fact the model will again be written in some pseudo-language so that you not only double the workload but also introduce slight incompatibilites between the implementation language and the model language!
and then somebody still has to prove that there are no errors in your model for which you will need a meta-model, etc, etc, etc.
i'm not saying that verification is not practicale or that it wouldn't be nice to have it, but there are obstacles that won't be solved for quite some years to come!
you must be joking about david eddings...
that guy has written like 1000 books and though the general setting is quite nice and reading single books lets you hope for more - there never is!!!
it's like "the lord of the rings" stretched to 100 books with no suspense at all and unimaginably less creative.
i couldn't recommend eddings if it were the last fantasy books on earth