This is a small subset of Neubot which may be useful for my PhD course in formal system verification, where the exam consists of showing that a piece of code is correct. I've used asyncore to keep it simple, but the outcome is interesting and I don't exclude the idea of merging it back someday. - Simone