[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Comparison between TLA+ and LTL
- From: Apostolis Xekoukoulotakis <xeko...@xxxxxxxxx>
- Date: Mon, 25 Jun 2018 07:23:08 -0700 (PDT)
Is there any short document that describes the differences of TLA+ and LTL?
Linear Temporal Logic types Functional Reactive Programs. ( http://www.asaj.org/papers/plpv12.pdf )
One could then use the type system to provide a correct implementation of the specification.