🇿🔢📐

#z notation #formal methods #specification language #software engineering #z language

📐⏳⇒

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