📐⏳⇒

#TLA+ #temporal logic of actions #formal methods #specification language #concurrent systems