We summarise two projects that formalised complex real world systems: UDP and its sockets API, and the C programming language. We describe their goals and the techniques used in both. We conclude by discussing how such techniques might be applied to other system software and by describing the benefits this may bring.
No takes yet. Share an insight, caveat, or question.
Norrish et al. (2002) studied this question.