How free can I be in the code in an object invariant?...

How do I Determine What the Invariant Is?...

C# 3.5 Covariance issue?...

Where evaluate invariants after and before call a routine?...

How to maintain a recursive invariant in a MySQL database?...

Does it make sense to throw a private exception?...

Binary chop: if list[middle] == key case...

Specifying invariants on value constructors...

checking invariants in C++...

Do invariant assertions fit into C# programming?...

JML not null variants?...

Are preconditions and postconditions needed in addition to invariants in member functions if doing d...

Do you use invariants when you program?...

Adding Invariants to Interfaces in Java...

Heuristics for finding class invariants...