[fulafel]

Race conditions, effects of memory safety and other integrity bugs, behaviours of distributed systems, etc.

[bandrami]

Ah sorry I read your comment wrong. Yes I agree we can and do make probabilistic systems; we've just to date been using deterministic tools to do so.