On the challenge of delivering high-performance, dependable, model-checked internet servers

Anil Madhavapeddy, and Dave Scott.

Paper in the proceedings of the First Conference on Hot Topics in System Dependability.

URL (dl.acm.org)   BIB   PDF