[cap-talk] Reinterpreting POLA - "Authority Must Not Exceed Trust"

[David Hopwood]

Toby Murray wrote:
> Suppose we had some magical means to produce CSP models from real code,
> such that the model produced was guaranteed to exhibit all possible
> behaviours of the code.

That wouldn't be magical: CSP is a real (implementable) programming
language.

-- 
David Hopwood <david.hopwood at industrial-designers.co.uk>