You happily forget (an ever increasing) non-determinism in current (increasingly) parallel hardware. That way you cannot count only on one CPU executing instru

You happily forget (an ever increasing) non-determinism in current (increasingly) parallel hardware. That way you cannot count only on one CPU executing instructions one by one, you have to leave engineering, you have to do some math. You have to prove the absence of deadlocks, race conditions.