Diogenes is a tool which supports programmers in writing honest contract-oriented Java programs.
In this context, honesty means always respecting the contracts one advertises, in all possible execution contexts.
Honest programs are never sanctioned by the contract-oriented infrastructure; further, compositions of honest services are deadlock-free.