Does the AXD301 switch handle trusts, estates, criminal punishment, taxes, court procedure, torts -- indeed, every single interaction between humans and the environment that they inhabit, including into the past, into the future, into space, under ground and sea, for concepts both physical and abstract, in a heterogenous cooperative world-spanning framework applicable to all human beings, animals, plants and objects, natural or artificial, living and dead?
Don't get me wrong: software engineering has accomplished great things. My point is that the law has to face different, very fuzzy, unconstrained problems that cannot be simplified.
(Also I would've used the Space Shuttle software, that's my favourite high water mark. Or the seL4 kernel).
> http://ll2.ai.mit.edu/talks/armstrong.pdf (from slide 27 on)
> https://en.wikipedia.org/wiki/Erlang_(programming_language)#...
"In 1998 Ericsson announced the AXD301 switch, containing over a million lines of Erlang and reported to achieve a high availability of nine "9"s."
Additionally it is well-known that the AXD301 has live patching capabilities (which is not surprising, since Erlang has).