Report copyright - A TLA Proof System · 2018. 1. 29. · A TLA+ Proof System Chaudhuri, Doligez, Lamport, Merz 2 TLA+ and its Proof Language 2.1 TLA The TLA+ language is based on the Temporal Logic
Please pass captcha verification before submit form
Please pass captcha verification before submit form