[SystemSafety] Paper on Software Reliability and the Urn Model

Derek M Jones derek at knosof.co.uk
Wed Feb 25 13:47:46 CET 2015


Peter,

> You might as well say that a Turing machine doesn't "reflect reality". But if you can map your
> computational behavior onto some Turing machine, you're in good shape, because both the math and the
> programming are well understood.

Is this comment a test run for an April fools paper you are writing?

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com


More information about the systemsafety mailing list