Changjian Zhang SteveZhangBit

• Carnegie Mellon University

• Pittsburgh

Pinned Loading

1. Fortis, a tool for systematically compute robustness and robustify a system design based on LTS.

   Kotlin 3 2

2. Forked from AlloyTools/org.alloytools.alloy

   AlloyMax is an extension of Alloy with a capability to express and analyze problems with optimal solutions. It introduces (1) a small addition of language constructs that can be used to specify a w…

   Java 1 1

3. ATLAS: A constrained LTL learner based on AlloyMax

   Jupyter Notebook 2

6. Forked from pingcap/tidb

   TiDB is a distributed NewSQL database compatible with MySQL protocol

   Go