From: Dan W. (danw_at_[hidden])
Date: 2004-01-08 13:55:37
Tanton Gibbs wrote:
> Yep, who watches the watchers. You definitely have to weigh the gain vs the
> loss in provable correctness.
Yes, and I also want to keep my invariants "library" ( :) ) as tiny and
as simple as possible, so that hopefully people will actually use it;
rather than some awe-inspiring, full-featured thing that no one bothers
to read through the documentation. But I appreciate your sharing your
research; I've got your paper saved to my hard-drive and will continue
to think about temporal invariants. I think that "already" might make a
good addition. Thanks again.
dan