Disalg-ICS-NJU

Popular repositories Loading

1. algocentric algocentric Public

   Python 77 4

2. zookeeper-tla-spec zookeeper-tla-spec Public

   TLA 12 4

3. distributed-system-learning distributed-system-learning Public

   Collection of courses, papers, and experiments focusing on distributed systems

   9

4. intro-disalg intro-disalg Public

   TeX 8 1

5. Conformance Conformance Public

   practical model checking framework for concurrent and distributed systems

   5

6. IPA IPA Public

   Forked from HappyCS-Gu/IPA

   IPA(Interaction-Preserving Abstraction) is a framework that leverages characteristics of TLA+ and enables practical and efficient compositional model checking for TLA+ specifications of distributed…

   TLA 4 3