
Systems
Deterministic State: How Nordic Rail Interlockings Prove Two Trains Cannot Meet
Before a high-speed passenger set clears a single switch outside Gothenburg, boolean interlocking equations evaluate 1,800 track-circuit invariants in under forty milliseconds.
