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

Anil Madhavapeddy, and Dave Scott. In Proceedings of the First Conference on Hot Topics in System Dependability. .Anil MadhavapeddyDave Scott

https://anil.recoil.org/papers/2005-hotdep-splimage
PDFBIBURL
#dsl#modelchecking#formal#security#conference#melange
On the challenge of delivering high-performance, dependable, model-checked internet servers

Abstract

No abstract available

Related

On the challenge of delivering high-performance, dependable, model-checked internet serversJun 2005
Paper on using temporal automata for protocol implementations presented at HotDep 2005.
Functional Internet ServicesJan 2003