2 papers
cs.FL2020
Making Streett Determinization Tight
Cong Tian, Wensheng Wang, Zhenhua Duan
Optimal determinization construction of Streett automata is an important research problem because it is indispensable in numerous applications such as decision problems for tree te…
cs.PL2018
Translating Xd-C programs to MSVL programs
Meng Wang, Cong Tian, Nan Zhang +2
C language is one of the most popular languages for software systems. In order to verify safety, reliability and security properties of such systems written in C, a tool UMC4M for…