6 ms·With specifications in First Order Logic (TLA+ syntax)by dtornow 6y agoWith specifications in First Order Logic (TLA+ syntax)