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.
No abstract available
#
1st Jun 2005
papers
conference
dsl
formal
modelchecking
security
papersRelated News
- On the challenge of delivering high-performance, dependable, model-checked internet servers / Jun 2005