Changjian Zhang's repositories
Coursera-PL
The repository of my code of the course, Coursera Programming Language
Language:Jupyter Notebook000
LTS-Robustness
Fortis: a robustness analysis and automatic robustfication tool for labelled transition systems (LTS).
Language:Python000
tidb
TiDB is a distributed NewSQL database compatible with MySQL protocol
Language:GoApache-2.0000
Deprecated-LTS-Robustness
DEPRECATED: checkout our new implementation, Fortis. The Robustness Calculator implementation for FSE 20 paper.
MIT000
ExtTLA
The compiler for ExtTLA
Language:Kotlin000
Language:Java000
Language:Java000
Language:Java000
fse20
artifacts track, fse20
Unlicense000
Language:Go000
Robustification
Robustify a system by using supervisory control and multi-objective search
Language:Python000
Language:TLA000
Language:Vim script000