- Undergraduate CS student in SJTU, ACM Class.
- I'm doing research on the area of Computer System and Architecture.
- My avatar is the character 霊烏路 空 in a STG game called Touhou Project.
- Welcome to my Blog: Metric Space!
siriusneo / alice Goto Github PK
View Code? Open in Web Editor NEWA LTL (Linear Temporal Logic) Formulas Checking System. SJTU CS3959 Model Checking Course Project.