Implementation and validation of the model checking of various Distributed System algorithms like BenOr, Paxos, etc. using PlusCal and TLA+, also analyze the temporal and invariant properties.
-
Updated
Sep 27, 2020 - TLA
Implementation and validation of the model checking of various Distributed System algorithms like BenOr, Paxos, etc. using PlusCal and TLA+, also analyze the temporal and invariant properties.
A TLA+ model for a clock with hours and minutes.
Add a description, image, and links to the temporal-logic topic page so that developers can more easily learn about it.
To associate your repository with the temporal-logic topic, visit your repo's landing page and select "manage topics."