We are a research group at the School of Software, Tsinghua University. Our aim is to explore and understand formal verification, including model checking, programming language, static analysis, verification of contracts and circuits, etc...
Relevance: 12.90695