Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods.

Gidon Ernst, Alexander Weigl

Browse the full IFM paper archive.