Moxi - Memcached Proxy
Pythran: Static compiler for high performance by Mehdi Amini PyData SV 2014
Pluribus SDN Technology
ESBMC: bounded model checking for C & C++ Denis A Nicole 2013-13-02
