Multiple_observers is a project mainly written in C++ and C, it's free.
distributed method for protocol fault detection